*************************************************************

   NEOS Server Version 5.0
   Job#     : 129165
   Password : PqezhrvS
   Solver   : milp:scip:AMPL
   Start    : 2012-03-01 03:54:29
   End      : 2012-03-01 03:55:19
   Host     : plato.asu.edu

   Disclaimer:

   This information is provided without any express or
   implied warranty. In particular, there is no warranty
   of any kind concerning the fitness of this
   information  for any particular purpose.
*************************************************************


***SCIP-AMPL***


Presolve eliminates 24 constraints.
Adjusted problem:
91380 variables, all binary
18786 constraints, all linear; 88518 nonzeros
	1269 equality constraints
	17517 inequality constraints
1 linear objective; 91380 nonzeros.

SCIP version 2.1.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: CPLEX 12.3.0.0] [GitHash: 8ab125b]
Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)

External codes: 
  CPLEX 12.3.0.0       Linear Programming Solver developed by IBM (www.cplex.com)
  ZLIB 1.2.3.4         General purpose compression library by J. Gailly and M. Adler (zlib.net)
  GMP 4.3.2            GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)
  ZIMPL 3.2.0          Zuse Institute Mathematical Programming Language developed by T. Koch (zimpl.zib.de)
  Ipopt 3.10.2         Interior Point Optimizer developed by A. Waechter et.al. (www.coin-or.org/Ipopt)

reading user parameter file <scip.set>

SCIP> original problem has 91380 variables (91380 bin, 0 int, 0 impl, 0 cont) and 18786 constraints
SCIP> limits/gap = 0.0001
SCIP> limits/absgap = 1e-09
SCIP> limits/time = 36000
SCIP> loaded parameter file <scip.set>
SCIP> 
presolving:
(round 1) 48432 del vars, 9248 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15070 impls, 2297 clqs
(round 2) 48432 del vars, 9248 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 9538 upgd conss, 15070 impls, 2297 clqs
(round 3) 82943 del vars, 9248 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 9538 upgd conss, 15070 impls, 2297 clqs
   (1.8s) probing: 1000/8437 (11.9%) - 0 fixings, 0 aggregations, 4125 implications, 0 bound changes
   (1.8s) probing: 1001/8437 (11.9%) - 0 fixings, 0 aggregations, 4125 implications, 0 bound changes
   (1.8s) probing aborted: 1000/1000 successive useless probings
presolving (4 rounds):
 82943 deleted vars, 9248 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
 32824 implications, 2297 cliques
presolved problem has 8437 variables (8437 bin, 0 int, 0 impl, 0 cont) and 9538 constraints
   9538 constraints of type <setppc>
transformed objective value is always integral (scale: 1)
Presolving Time: 1.66

 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
T 2.0s|     1 |     0 |     0 |     - | 169M|   0 |   - |8437 |9538 |8437 |9538 |   0 |   0 |   0 |      --      | 5.580824e+08 |    Inf 
  2.4s|     1 |     0 |  6177 |     - | 168M|   0 |2459 |8437 |9538 |8437 |9538 |   0 |   0 |   0 | 4.634946e+08 | 5.580824e+08 |  20.41%
  2.9s|     1 |     0 |  6260 |     - | 169M|   0 |2453 |8437 |9538 |8437 |9546 |   8 |   0 |   0 | 4.643049e+08 | 5.580824e+08 |  20.20%
  3.4s|     1 |     0 |  6370 |     - | 169M|   0 |2440 |8437 |9538 |8437 |9555 |  17 |   0 |   0 | 4.655723e+08 | 5.580824e+08 |  19.87%
  3.8s|     1 |     0 |  6473 |     - | 170M|   0 |2433 |8437 |9538 |8437 |9564 |  26 |   0 |   0 | 4.669059e+08 | 5.580824e+08 |  19.53%
  4.3s|     1 |     0 |  6560 |     - | 170M|   0 |2436 |8437 |9538 |8437 |9573 |  35 |   0 |   0 | 4.680814e+08 | 5.580824e+08 |  19.23%
  4.8s|     1 |     0 |  6709 |     - | 170M|   0 |2439 |8437 |9538 |8437 |9582 |  44 |   0 |   0 | 4.693539e+08 | 5.580824e+08 |  18.90%
  5.2s|     1 |     0 |  6924 |     - | 170M|   0 |2436 |8437 |9538 |8437 |9591 |  53 |   0 |   0 | 4.707172e+08 | 5.580824e+08 |  18.56%
  5.7s|     1 |     0 |  7121 |     - | 170M|   0 |2427 |8437 |9538 |8437 |9600 |  62 |   0 |   0 | 4.719776e+08 | 5.580824e+08 |  18.24%
  6.2s|     1 |     0 |  7339 |     - | 170M|   0 |2429 |8437 |9538 |8437 |9609 |  71 |   0 |   0 | 4.733141e+08 | 5.580824e+08 |  17.91%
  6.7s|     1 |     0 |  7496 |     - | 170M|   0 |2429 |8437 |9538 |8437 |9618 |  80 |   0 |   0 | 4.745344e+08 | 5.580824e+08 |  17.61%
  7.1s|     1 |     0 |  7626 |     - | 170M|   0 |2434 |8437 |9538 |8437 |9629 |  91 |   0 |   0 | 4.757790e+08 | 5.580824e+08 |  17.30%
  7.5s|     1 |     0 |  7777 |     - | 170M|   0 |2430 |8437 |9538 |8437 |9637 | 100 |   0 |   0 | 4.770348e+08 | 5.580824e+08 |  16.99%
  7.8s|     1 |     0 |  7922 |     - | 170M|   0 |2423 |8437 |9538 |8437 |9648 | 111 |   0 |   0 | 4.784872e+08 | 5.580824e+08 |  16.63%
  8.1s|     1 |     0 |  8065 |     - | 170M|   0 |2414 |8437 |9538 |8437 |9659 | 122 |   0 |   0 | 4.799702e+08 | 5.580824e+08 |  16.27%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  8.4s|     1 |     0 |  8217 |     - | 170M|   0 |2409 |8437 |9538 |8437 |9668 | 131 |   0 |   0 | 4.811903e+08 | 5.580824e+08 |  15.98%
  8.7s|     1 |     0 |  8297 |     - | 170M|   0 |2388 |8437 |9538 |8437 |9677 | 140 |   0 |   0 | 4.823837e+08 | 5.580824e+08 |  15.69%
  9.0s|     1 |     0 |  8408 |     - | 170M|   0 |2379 |8437 |9538 |8437 |9685 | 148 |   0 |   0 | 4.834145e+08 | 5.580824e+08 |  15.45%
  9.4s|     1 |     0 |  8486 |     - | 170M|   0 |2362 |8437 |9538 |8437 |9691 | 157 |   0 |   0 | 4.847029e+08 | 5.580824e+08 |  15.14%
  9.7s|     1 |     0 |  8528 |     - | 170M|   0 |2349 |8437 |9538 |8437 |9699 | 165 |   0 |   0 | 4.856152e+08 | 5.580824e+08 |  14.92%
 10.0s|     1 |     0 |  8619 |     - | 170M|   0 |2337 |8437 |9538 |8437 |9707 | 173 |   0 |   0 | 4.864791e+08 | 5.580824e+08 |  14.72%
 10.3s|     1 |     0 |  8720 |     - | 170M|   0 |2329 |8437 |9538 |8437 |9715 | 181 |   0 |   0 | 4.877249e+08 | 5.580824e+08 |  14.43%
 10.5s|     1 |     0 |  8798 |     - | 170M|   0 |2326 |8437 |9538 |8437 |9721 | 187 |   0 |   0 | 4.887080e+08 | 5.580824e+08 |  14.20%
 10.8s|     1 |     0 |  8816 |     - | 170M|   0 |2312 |8437 |9538 |8437 |9727 | 193 |   0 |   0 | 4.894564e+08 | 5.580824e+08 |  14.02%
 11.1s|     1 |     0 |  8838 |     - | 170M|   0 |2297 |8437 |9538 |8437 |9729 | 199 |   0 |   0 | 4.904476e+08 | 5.580824e+08 |  13.79%
 11.3s|     1 |     0 |  8865 |     - | 170M|   0 |2284 |8437 |9538 |8437 |9735 | 205 |   0 |   0 | 4.910610e+08 | 5.580824e+08 |  13.65%
 11.6s|     1 |     0 |  8926 |     - | 170M|   0 |2275 |8437 |9538 |8437 |9741 | 211 |   0 |   0 | 4.921232e+08 | 5.580824e+08 |  13.40%
 11.8s|     1 |     0 |  8980 |     - | 170M|   0 |2263 |8437 |9538 |8437 |9747 | 217 |   0 |   0 | 4.931468e+08 | 5.580824e+08 |  13.17%
 12.1s|     1 |     0 |  9156 |     - | 170M|   0 |2253 |8437 |9538 |8437 |9753 | 223 |   0 |   0 | 4.940515e+08 | 5.580824e+08 |  12.96%
 12.3s|     1 |     0 |  9285 |     - | 170M|   0 |2245 |8437 |9538 |8437 |9759 | 229 |   0 |   0 | 4.948404e+08 | 5.580824e+08 |  12.78%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 12.6s|     1 |     0 |  9312 |     - | 170M|   0 |2237 |8437 |9538 |8437 |9763 | 236 |   0 |   0 | 4.957567e+08 | 5.580824e+08 |  12.57%
 12.8s|     1 |     0 |  9361 |     - | 170M|   0 |2231 |8437 |9538 |8437 |9770 | 243 |   0 |   0 | 4.965057e+08 | 5.580824e+08 |  12.40%
 13.1s|     1 |     0 |  9404 |     - | 170M|   0 |2228 |8437 |9538 |8437 |9777 | 250 |   0 |   0 | 4.972030e+08 | 5.580824e+08 |  12.24%
 13.3s|     1 |     0 |  9437 |     - | 170M|   0 |2213 |8437 |9538 |8437 |9782 | 255 |   0 |   0 | 4.980449e+08 | 5.580824e+08 |  12.05%
 13.6s|     1 |     0 |  9492 |     - | 170M|   0 |2196 |8437 |9538 |8437 |9789 | 262 |   0 |   0 | 4.989891e+08 | 5.580824e+08 |  11.84%
 13.9s|     1 |     0 |  9542 |     - | 170M|   0 |2178 |8437 |9538 |8437 |9795 | 268 |   0 |   0 | 4.999363e+08 | 5.580824e+08 |  11.63%
 14.1s|     1 |     0 |  9613 |     - | 170M|   0 |2159 |8437 |9538 |8437 |9801 | 274 |   0 |   0 | 5.008073e+08 | 5.580824e+08 |  11.44%
 14.4s|     1 |     0 |  9694 |     - | 170M|   0 |2145 |8437 |9538 |8437 |9807 | 280 |   0 |   0 | 5.015435e+08 | 5.580824e+08 |  11.27%
 14.6s|     1 |     0 |  9740 |     - | 170M|   0 |2128 |8437 |9538 |8437 |9813 | 286 |   0 |   0 | 5.024041e+08 | 5.580824e+08 |  11.08%
 14.9s|     1 |     0 |  9805 |     - | 170M|   0 |2114 |8437 |9538 |8437 |9819 | 292 |   0 |   0 | 5.033121e+08 | 5.580824e+08 |  10.88%
 15.1s|     1 |     0 |  9863 |     - | 170M|   0 |2096 |8437 |9538 |8437 |9825 | 298 |   0 |   0 | 5.042739e+08 | 5.580824e+08 |  10.67%
 15.4s|     1 |     0 |  9910 |     - | 170M|   0 |2082 |8437 |9538 |8437 |9831 | 304 |   0 |   0 | 5.051166e+08 | 5.580824e+08 |  10.49%
 15.6s|     1 |     0 |  9945 |     - | 170M|   0 |2064 |8437 |9538 |8437 |9836 | 310 |   0 |   0 | 5.059113e+08 | 5.580824e+08 |  10.31%
 15.9s|     1 |     0 | 10029 |     - | 170M|   0 |2044 |8437 |9538 |8437 |9842 | 316 |   0 |   0 | 5.066611e+08 | 5.580824e+08 |  10.15%
 16.1s|     1 |     0 | 10094 |     - | 170M|   0 |2026 |8437 |9538 |8437 |9848 | 322 |   0 |   0 | 5.074519e+08 | 5.580824e+08 |   9.98%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 16.4s|     1 |     0 | 10129 |     - | 170M|   0 |2020 |8437 |9538 |8437 |9852 | 326 |   0 |   0 | 5.079101e+08 | 5.580824e+08 |   9.88%
 16.6s|     1 |     0 | 10150 |     - | 170M|   0 |2007 |8437 |9538 |8437 |9857 | 331 |   0 |   0 | 5.083963e+08 | 5.580824e+08 |   9.77%
 16.8s|     1 |     0 | 10164 |     - | 170M|   0 |1998 |8437 |9538 |8437 |9861 | 335 |   0 |   0 | 5.089317e+08 | 5.580824e+08 |   9.66%
 17.0s|     1 |     0 | 10175 |     - | 170M|   0 |1991 |8437 |9538 |8437 |9867 | 341 |   0 |   0 | 5.093142e+08 | 5.580824e+08 |   9.58%
 17.2s|     1 |     0 | 10194 |     - | 170M|   0 |1982 |8437 |9538 |8437 |9873 | 347 |   0 |   0 | 5.096631e+08 | 5.580824e+08 |   9.50%
 17.4s|     1 |     0 | 10244 |     - | 170M|   0 |1965 |8437 |9538 |8437 |9880 | 354 |   0 |   0 | 5.101812e+08 | 5.580824e+08 |   9.39%
 17.7s|     1 |     0 | 10256 |     - | 170M|   0 |1959 |8437 |9538 |8437 |9886 | 360 |   0 |   0 | 5.104787e+08 | 5.580824e+08 |   9.33%
 17.9s|     1 |     0 | 10297 |     - | 170M|   0 |1952 |8437 |9538 |8437 |9891 | 365 |   0 |   0 | 5.109772e+08 | 5.580824e+08 |   9.22%
 18.1s|     1 |     0 | 10345 |     - | 170M|   0 |1941 |8437 |9538 |8437 |9896 | 370 |   0 |   0 | 5.115016e+08 | 5.580824e+08 |   9.11%
 18.3s|     1 |     0 | 10355 |     - | 170M|   0 |1933 |8437 |9538 |8437 |9901 | 375 |   0 |   0 | 5.119593e+08 | 5.580824e+08 |   9.01%
 18.5s|     1 |     0 | 10399 |     - | 170M|   0 |1929 |8437 |9538 |8437 |9907 | 381 |   0 |   0 | 5.122019e+08 | 5.580824e+08 |   8.96%
 18.7s|     1 |     0 | 10425 |     - | 170M|   0 |1920 |8437 |9538 |8437 |9913 | 387 |   0 |   0 | 5.126613e+08 | 5.580824e+08 |   8.86%
 18.9s|     1 |     0 | 10537 |     - | 170M|   0 |1912 |8437 |9538 |8437 |9918 | 392 |   0 |   0 | 5.132595e+08 | 5.580824e+08 |   8.73%
 19.1s|     1 |     0 | 10555 |     - | 170M|   0 |1912 |8437 |9538 |8437 |9923 | 397 |   0 |   0 | 5.134136e+08 | 5.580824e+08 |   8.70%
 19.4s|     1 |     0 | 10622 |     - | 170M|   0 |1899 |8437 |9538 |8437 |9929 | 403 |   0 |   0 | 5.141590e+08 | 5.580824e+08 |   8.54%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 19.6s|     1 |     0 | 10656 |     - | 170M|   0 |1887 |8437 |9538 |8437 |9927 | 408 |   0 |   0 | 5.147093e+08 | 5.580824e+08 |   8.43%
 19.8s|     1 |     0 | 10802 |     - | 170M|   0 |1877 |8437 |9538 |8437 |9934 | 415 |   0 |   0 | 5.153584e+08 | 5.580824e+08 |   8.29%
 20.0s|     1 |     0 | 10914 |     - | 170M|   0 |1864 |8437 |9538 |8437 |9940 | 421 |   0 |   0 | 5.160058e+08 | 5.580824e+08 |   8.15%
 20.3s|     1 |     0 | 10976 |     - | 170M|   0 |1855 |8437 |9538 |8437 |9947 | 428 |   0 |   0 | 5.166040e+08 | 5.580824e+08 |   8.03%
 20.5s|     1 |     0 | 11014 |     - | 170M|   0 |1850 |8437 |9538 |8437 |9950 | 431 |   0 |   0 | 5.167584e+08 | 5.580824e+08 |   8.00%
 20.7s|     1 |     0 | 11046 |     - | 170M|   0 |1844 |8437 |9538 |8437 |9955 | 436 |   0 |   0 | 5.171305e+08 | 5.580824e+08 |   7.92%
 20.9s|     1 |     0 | 11098 |     - | 170M|   0 |1952 |8437 |9538 |8437 |9953 | 440 |   0 |   0 | 5.172827e+08 | 5.580824e+08 |   7.89%
 21.1s|     1 |     0 | 11124 |     - | 170M|   0 |1948 |8437 |9538 |8437 |9962 | 449 |   0 |   0 | 5.176988e+08 | 5.580824e+08 |   7.80%
 21.3s|     1 |     0 | 11131 |     - | 170M|   0 |1945 |8437 |9538 |8437 |9965 | 452 |   0 |   0 | 5.178443e+08 | 5.580824e+08 |   7.77%
 21.6s|     1 |     0 | 11152 |     - | 170M|   0 |1938 |8437 |9538 |8437 |9973 | 460 |   0 |   0 | 5.183015e+08 | 5.580824e+08 |   7.68%
 21.8s|     1 |     0 | 11177 |     - | 170M|   0 |1818 |8437 |9538 |8437 |9979 | 466 |   0 |   0 | 5.187381e+08 | 5.580824e+08 |   7.58%
 22.0s|     1 |     0 | 11205 |     - | 170M|   0 |1928 |8437 |9538 |8437 |9984 | 471 |   0 |   0 | 5.188893e+08 | 5.580824e+08 |   7.55%
 22.2s|     1 |     0 | 11221 |     - | 170M|   0 |1803 |8437 |9538 |8437 |9986 | 477 |   0 |   0 | 5.195740e+08 | 5.580824e+08 |   7.41%
 22.4s|     1 |     0 | 11268 |     - | 170M|   0 |1790 |8437 |9538 |8437 |9993 | 484 |   0 |   0 | 5.202101e+08 | 5.580824e+08 |   7.28%
 22.6s|     1 |     0 | 11401 |     - | 170M|   0 |1779 |8437 |9538 |8437 |9999 | 490 |   0 |   0 | 5.208844e+08 | 5.580824e+08 |   7.14%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 22.8s|     1 |     0 | 11431 |     - | 170M|   0 |1883 |8437 |9538 |8437 |  10k| 495 |   0 |   0 | 5.212598e+08 | 5.580824e+08 |   7.06%
 23.0s|     1 |     0 | 11448 |     - | 170M|   0 |1873 |8437 |9538 |8437 |  10k| 502 |   0 |   0 | 5.217516e+08 | 5.580824e+08 |   6.96%
 23.2s|     1 |     0 | 11468 |     - | 170M|   0 |1851 |8437 |9538 |8437 |  10k| 508 |   0 |   0 | 5.226831e+08 | 5.580824e+08 |   6.77%
 23.5s|     1 |     0 | 11520 |     - | 170M|   0 |1827 |8437 |9538 |8437 |  10k| 515 |   0 |   0 | 5.237388e+08 | 5.580824e+08 |   6.56%
 23.7s|     1 |     0 | 11555 |     - | 170M|   0 |1818 |8437 |9538 |8437 |  10k| 522 |   0 |   0 | 5.244030e+08 | 5.580824e+08 |   6.42%
 23.9s|     1 |     0 | 11568 |     - | 170M|   0 |1808 |8437 |9538 |8437 |  10k| 527 |   0 |   0 | 5.248189e+08 | 5.580824e+08 |   6.34%
 24.2s|     1 |     0 | 11657 |     - | 170M|   0 |1681 |8437 |9538 |8437 |  10k| 535 |   0 |   0 | 5.253366e+08 | 5.580824e+08 |   6.23%
 24.4s|     1 |     0 | 11725 |     - | 170M|   0 |1673 |8437 |9538 |8437 |  10k| 542 |   0 |   0 | 5.257341e+08 | 5.580824e+08 |   6.15%
 24.6s|     1 |     0 | 11735 |     - | 170M|   0 |1675 |8437 |9538 |8437 |  10k| 550 |   0 |   0 | 5.259413e+08 | 5.580824e+08 |   6.11%
 24.8s|     1 |     0 | 11744 |     - | 170M|   0 |1678 |8437 |9538 |8437 |  10k| 557 |   0 |   0 | 5.261318e+08 | 5.580824e+08 |   6.07%
 24.9s|     1 |     0 | 11757 |     - | 170M|   0 |1678 |8437 |9538 |8437 |  10k| 564 |   0 |   0 | 5.262724e+08 | 5.580824e+08 |   6.04%
 25.2s|     1 |     0 | 11898 |     - | 170M|   0 |1773 |8437 |9538 |8437 |  10k| 572 |   0 |   0 | 5.266558e+08 | 5.580824e+08 |   5.97%
 25.4s|     1 |     0 | 11913 |     - | 170M|   0 |1765 |8437 |9538 |8437 |  10k| 579 |   0 |   0 | 5.269825e+08 | 5.580824e+08 |   5.90%
 25.6s|     1 |     0 | 11931 |     - | 170M|   0 |1764 |8437 |9538 |8437 |  10k| 586 |   0 |   0 | 5.271676e+08 | 5.580824e+08 |   5.86%
 25.8s|     1 |     0 | 11946 |     - | 170M|   0 |1758 |8437 |9538 |8437 |  10k| 593 |   0 |   0 | 5.273580e+08 | 5.580824e+08 |   5.83%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 26.0s|     1 |     0 | 11962 |     - | 170M|   0 |1675 |8437 |9538 |8437 |  10k| 600 |   0 |   0 | 5.275023e+08 | 5.580824e+08 |   5.80%
 26.2s|     1 |     0 | 11969 |     - | 170M|   0 |1302 |8437 |9538 |8437 |  10k| 607 |   0 |   0 | 5.276424e+08 | 5.580824e+08 |   5.77%
 26.3s|     1 |     0 | 11997 |     - | 170M|   0 |1675 |8437 |9538 |8437 |  10k| 613 |   0 |   0 | 5.277105e+08 | 5.580824e+08 |   5.76%
 26.5s|     1 |     0 | 12024 |     - | 170M|   0 |1677 |8437 |9538 |8437 |  10k| 620 |   0 |   0 | 5.279509e+08 | 5.580824e+08 |   5.71%
 26.7s|     1 |     0 | 12109 |     - | 170M|   0 |1298 |8437 |9538 |8437 |  10k| 627 |   0 |   0 | 5.280998e+08 | 5.580824e+08 |   5.68%
 26.8s|     1 |     0 | 12134 |     - | 170M|   0 |1295 |8437 |9538 |8437 |  10k| 634 |   0 |   0 | 5.283062e+08 | 5.580824e+08 |   5.64%
 27.0s|     1 |     0 | 12203 |     - | 170M|   0 |1291 |8437 |9538 |8437 |  10k| 641 |   0 |   0 | 5.287531e+08 | 5.580824e+08 |   5.55%
 27.1s|     1 |     0 | 12262 |     - | 170M|   0 |1285 |8437 |9538 |8437 |  10k| 648 |   0 |   0 | 5.292339e+08 | 5.580824e+08 |   5.45%
 27.3s|     1 |     0 | 12332 |     - | 170M|   0 |1282 |8437 |9538 |8437 |  10k| 654 |   0 |   0 | 5.296607e+08 | 5.580824e+08 |   5.37%
 27.4s|     1 |     0 | 12394 |     - | 170M|   0 |1279 |8437 |9538 |8437 |  10k| 660 |   0 |   0 | 5.301218e+08 | 5.580824e+08 |   5.27%
 27.5s|     1 |     0 | 12410 |     - | 170M|   0 |1277 |8437 |9538 |8437 |  10k| 668 |   0 |   0 | 5.306596e+08 | 5.580824e+08 |   5.17%
 27.6s|     1 |     0 | 12481 |     - | 170M|   0 |1274 |8437 |9538 |8437 |  10k| 675 |   0 |   0 | 5.311674e+08 | 5.580824e+08 |   5.07%
 27.8s|     1 |     0 | 12574 |     - | 170M|   0 |1276 |8437 |9538 |8437 |  10k| 681 |   0 |   0 | 5.313452e+08 | 5.580824e+08 |   5.03%
 27.9s|     1 |     0 | 12645 |     - | 170M|   0 |1272 |8437 |9538 |8437 |  10k| 688 |   0 |   0 | 5.317504e+08 | 5.580824e+08 |   4.95%
 28.1s|     1 |     0 | 12751 |     - | 170M|   0 |1267 |8437 |9538 |8437 |  10k| 694 |   0 |   0 | 5.320268e+08 | 5.580824e+08 |   4.90%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 28.2s|     1 |     0 | 12835 |     - | 170M|   0 |1260 |8437 |9538 |8437 |  10k| 699 |   0 |   0 | 5.324378e+08 | 5.580824e+08 |   4.82%
 28.3s|     1 |     0 | 12861 |     - | 170M|   0 |1258 |8437 |9538 |8437 |  10k| 704 |   0 |   0 | 5.327558e+08 | 5.580824e+08 |   4.75%
 28.4s|     1 |     0 | 12979 |     - | 170M|   0 |1250 |8437 |9538 |8437 |  10k| 710 |   0 |   0 | 5.332006e+08 | 5.580824e+08 |   4.67%
 28.6s|     1 |     0 | 13004 |     - | 170M|   0 |1252 |8437 |9538 |8437 |  10k| 716 |   0 |   0 | 5.332104e+08 | 5.580824e+08 |   4.66%
 28.7s|     1 |     0 | 13039 |     - | 170M|   0 |1249 |8437 |9538 |8437 |  10k| 722 |   0 |   0 | 5.335213e+08 | 5.580824e+08 |   4.60%
 28.8s|     1 |     0 | 13062 |     - | 170M|   0 |1243 |8437 |9538 |8437 |  10k| 728 |   0 |   0 | 5.339632e+08 | 5.580824e+08 |   4.52%
 28.9s|     1 |     0 | 13088 |     - | 170M|   0 |1234 |8437 |9538 |8437 |  10k| 736 |   0 |   0 | 5.347426e+08 | 5.580824e+08 |   4.36%
 29.0s|     1 |     0 | 13104 |     - | 170M|   0 |1229 |8437 |9538 |8437 |  10k| 742 |   0 |   0 | 5.351551e+08 | 5.580824e+08 |   4.28%
 29.1s|     1 |     0 | 13121 |     - | 170M|   0 |1227 |8437 |9538 |8437 |  10k| 749 |   0 |   0 | 5.354817e+08 | 5.580824e+08 |   4.22%
 29.3s|     1 |     0 | 13205 |     - | 170M|   0 |1221 |8437 |9538 |8437 |  10k| 757 |   0 |   0 | 5.359328e+08 | 5.580824e+08 |   4.13%
 29.4s|     1 |     0 | 13267 |     - | 170M|   0 |1218 |8437 |9538 |8437 |  10k| 764 |   0 |   0 | 5.363377e+08 | 5.580824e+08 |   4.05%
 29.5s|     1 |     0 | 13279 |     - | 170M|   0 |1218 |8437 |9538 |8437 |  10k| 769 |   0 |   0 | 5.364791e+08 | 5.580824e+08 |   4.03%
 29.7s|     1 |     0 | 13386 |     - | 170M|   0 |1216 |8437 |9538 |8437 |  10k| 775 |   0 |   0 | 5.366203e+08 | 5.580824e+08 |   4.00%
 29.8s|     1 |     0 | 13468 |     - | 170M|   0 |1208 |8437 |9538 |8437 |  10k| 781 |   0 |   0 | 5.371781e+08 | 5.580824e+08 |   3.89%
 29.9s|     1 |     0 | 13543 |     - | 170M|   0 |1201 |8437 |9538 |8437 |  10k| 787 |   0 |   0 | 5.375882e+08 | 5.580824e+08 |   3.81%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 30.1s|     1 |     0 | 13901 |     - | 170M|   0 |1192 |8437 |9538 |8437 |  10k| 793 |   0 |   0 | 5.380354e+08 | 5.580824e+08 |   3.73%
 30.2s|     1 |     0 | 14021 |     - | 170M|   0 |1188 |8437 |9538 |8437 |  10k| 799 |   0 |   0 | 5.382211e+08 | 5.580824e+08 |   3.69%
 30.4s|     1 |     0 | 14269 |     - | 170M|   0 |1189 |8437 |9538 |8437 |  10k| 806 |   0 |   0 | 5.384116e+08 | 5.580824e+08 |   3.65%
 30.5s|     1 |     0 | 14283 |     - | 170M|   0 |1185 |8437 |9538 |8437 |  10k| 812 |   0 |   0 | 5.387533e+08 | 5.580824e+08 |   3.59%
 30.6s|     1 |     0 | 14383 |     - | 170M|   0 |1185 |8437 |9538 |8437 |  10k| 819 |   0 |   0 | 5.390650e+08 | 5.580824e+08 |   3.53%
 30.8s|     1 |     0 | 14632 |     - | 170M|   0 |1180 |8437 |9538 |8437 |  10k| 824 |   0 |   0 | 5.393362e+08 | 5.580824e+08 |   3.48%
 30.9s|     1 |     0 | 14682 |     - | 170M|   0 |1257 |8437 |9538 |8437 |  10k| 828 |   0 |   0 | 5.396244e+08 | 5.580824e+08 |   3.42%
 31.1s|     1 |     0 | 15153 |     - | 170M|   0 | 882 |8437 |9538 |8437 |  10k| 837 |   0 |   0 | 5.400992e+08 | 5.580824e+08 |   3.33%
 31.2s|     1 |     0 | 15215 |     - | 170M|   0 |1248 |8437 |9538 |8437 |  10k| 847 |   0 |   0 | 5.401434e+08 | 5.580824e+08 |   3.32%
 31.3s|     1 |     0 | 15465 |     - | 170M|   0 |1268 |8437 |9538 |8437 |  10k| 854 |   0 |   0 | 5.403502e+08 | 5.580824e+08 |   3.28%
 31.4s|     1 |     0 | 15543 |     - | 170M|   0 |1263 |8437 |9538 |8437 |  10k| 861 |   0 |   0 | 5.406741e+08 | 5.580824e+08 |   3.22%
 31.6s|     1 |     0 | 15658 |     - | 170M|   0 |1089 |8437 |9538 |8437 |  10k| 868 |   0 |   0 | 5.408879e+08 | 5.580824e+08 |   3.18%
 31.7s|     1 |     0 | 15762 |     - | 170M|   0 |1259 |8437 |9538 |8437 |  10k| 874 |   0 |   0 | 5.411390e+08 | 5.580824e+08 |   3.13%
 31.8s|     1 |     0 | 15789 |     - | 170M|   0 |1256 |8437 |9538 |8437 |  10k| 880 |   0 |   0 | 5.415245e+08 | 5.580824e+08 |   3.06%
 32.0s|     1 |     0 | 15805 |     - | 170M|   0 | 878 |8437 |9538 |8437 |  10k| 885 |   0 |   0 | 5.417068e+08 | 5.580824e+08 |   3.02%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 32.1s|     1 |     0 | 15909 |     - | 170M|   0 | 888 |8437 |9538 |8437 |  10k| 893 |   0 |   0 | 5.417599e+08 | 5.580824e+08 |   3.01%
 32.1s|     1 |     0 | 15935 |     - | 170M|   0 | 892 |8437 |9538 |8437 |  10k| 899 |   0 |   0 | 5.418125e+08 | 5.580824e+08 |   3.00%
 32.2s|     1 |     0 | 15942 |     - | 170M|   0 | 892 |8437 |9538 |8437 |  10k| 905 |   0 |   0 | 5.418906e+08 | 5.580824e+08 |   2.99%
 32.3s|     1 |     0 | 15950 |     - | 170M|   0 | 895 |8437 |9538 |8437 |  10k| 911 |   0 |   0 | 5.419950e+08 | 5.580824e+08 |   2.97%
 32.4s|     1 |     0 | 16146 |     - | 170M|   0 |1143 |8437 |9538 |8437 |  10k| 917 |   0 |   0 | 5.421259e+08 | 5.580824e+08 |   2.94%
 32.6s|     1 |     0 | 16522 |     - | 170M|   0 | 905 |8437 |9538 |8437 |  10k| 926 |   0 |   0 | 5.422735e+08 | 5.580824e+08 |   2.92%
 32.7s|     1 |     0 | 16612 |     - | 170M|   0 | 914 |8437 |9538 |8437 |  10k| 932 |   0 |   0 | 5.423022e+08 | 5.580824e+08 |   2.91%
 32.8s|     1 |     0 | 16641 |     - | 170M|   0 | 916 |8437 |9538 |8437 |  10k| 938 |   0 |   0 | 5.423029e+08 | 5.580824e+08 |   2.91%
 32.9s|     1 |     0 | 16651 |     - | 170M|   0 | 916 |8437 |9538 |8437 |  10k| 944 |   0 |   0 | 5.423029e+08 | 5.580824e+08 |   2.91%
 33.0s|     1 |     0 | 16712 |     - | 170M|   0 | 924 |8437 |9538 |8437 |  10k| 948 |   0 |   0 | 5.423058e+08 | 5.580824e+08 |   2.91%
 33.1s|     1 |     0 | 16719 |     - | 170M|   0 | 922 |8437 |9538 |8437 |  10k| 955 |   0 |   0 | 5.423091e+08 | 5.580824e+08 |   2.91%
 34.3s|     1 |     2 | 18592 |     - | 172M|   0 | 922 |8437 |9538 |8437 |  10k| 955 |   0 |  17 | 5.423091e+08 | 5.580824e+08 |   2.91%
*35.4s|     5 |     0 | 19616 | 724.2 | 172M|   3 |   - |8437 |8268 |8437 |  10k| 955 |   0 |  51 | 5.476073e+08 | 5.476073e+08 |   0.00%

SCIP Status        : problem is solved [optimal solution found]
Solving Time (sec) : 35.43
Solving Nodes      : 5
Primal Bound       : +5.47607332000000e+08 (2 solutions)
Dual Bound         : +5.47607332000000e+08
Gap                : 0.00 %

SCIP> 
written solution information to file <results1>

SCIP> 
written statistics to file <results2>

SCIP> solution status: optimal solution found
objective value:                            547607332
X[3,1]                                              1 	(obj:28755924)
X[3,2]                                              1 	(obj:28755924)
X[3,3]                                              1 	(obj:28755924)
A[3,1,1]                                            1 	(obj:15524)
A[3,1,5]                                            1 	(obj:17543)
A[3,1,9]                                            1 	(obj:20268)
A[3,1,10]                                           1 	(obj:15524)
A[3,1,14]                                           1 	(obj:17543)
A[3,1,18]                                           1 	(obj:20268)
A[3,1,19]                                           1 	(obj:15524)
A[3,1,22]                                           1 	(obj:15524)
A[3,1,25]                                           1 	(obj:15524)
A[3,1,33]                                           1 	(obj:9707)
A[3,1,35]                                           1 	(obj:13318)
A[3,1,45]                                           1 	(obj:9707)
A[3,1,47]                                           1 	(obj:13421)
A[3,1,53]                                           1 	(obj:17194)
A[3,1,60]                                           1 	(obj:12625)
A[3,1,65]                                           1 	(obj:12625)
A[3,1,68]                                           1 	(obj:17194)
A[3,1,73]                                           1 	(obj:17194)
A[3,1,80]                                           1 	(obj:12625)
A[3,1,82]                                           1 	(obj:13421)
A[3,1,90]                                           1 	(obj:12625)
A[3,1,97]                                           1 	(obj:9564)
A[3,1,103]                                          1 	(obj:12489)
A[3,1,113]                                          1 	(obj:9564)
A[3,1,116]                                          1 	(obj:13421)
A[3,1,120]                                          1 	(obj:13913)
A[3,1,128]                                          1 	(obj:7998)
A[3,1,130]                                          1 	(obj:13913)
A[3,1,138]                                          1 	(obj:7998)
A[3,1,140]                                          1 	(obj:13913)
A[3,1,145]                                          1 	(obj:13913)
A[3,1,150]                                          1 	(obj:13913)
A[3,1,155]                                          1 	(obj:13913)
A[3,1,163]                                          1 	(obj:6141)
A[3,1,175]                                          1 	(obj:8587)
A[3,1,185]                                          1 	(obj:6141)
A[3,1,193]                                          1 	(obj:15880)
A[3,1,198]                                          1 	(obj:17304)
A[3,1,202]                                          1 	(obj:17304)
A[3,1,205]                                          1 	(obj:15880)
A[3,1,209]                                          1 	(obj:15880)
A[3,1,216]                                          1 	(obj:19090)
A[3,1,220]                                          1 	(obj:19090)
A[3,1,221]                                          1 	(obj:15880)
A[3,1,226]                                          1 	(obj:17304)
A[3,1,231]                                          1 	(obj:11778)
A[3,1,243]                                          1 	(obj:10412)
A[3,1,247]                                          1 	(obj:11778)
A[3,1,256]                                          1 	(obj:10910)
A[3,1,258]                                          1 	(obj:13518)
A[3,1,266]                                          1 	(obj:10910)
A[3,1,268]                                          1 	(obj:13518)
A[3,1,276]                                          1 	(obj:10910)
A[3,1,278]                                          1 	(obj:13518)
A[3,1,283]                                          1 	(obj:13518)
A[3,1,291]                                          1 	(obj:10910)
A[3,1,295]                                          1 	(obj:12496)
A[3,1,301]                                          1 	(obj:6141)
A[3,1,315]                                          1 	(obj:4853)
A[3,1,320]                                          1 	(obj:4840)
A[3,1,331]                                          1 	(obj:17310)
A[3,1,337]                                          1 	(obj:15214)
A[3,1,340]                                          1 	(obj:7998)
A[3,1,344]                                          1 	(obj:7998)
A[3,1,349]                                          1 	(obj:15214)
A[3,1,352]                                          1 	(obj:7998)
A[3,1,357]                                          1 	(obj:15214)
A[3,1,360]                                          1 	(obj:7998)
A[3,1,365]                                          1 	(obj:15214)
A[3,1,370]                                          1 	(obj:8587)
A[3,1,377]                                          1 	(obj:6594)
A[3,1,388]                                          1 	(obj:8587)
A[3,1,397]                                          1 	(obj:20779)
A[3,1,398]                                          1 	(obj:19401)
A[3,1,402]                                          1 	(obj:19401)
A[3,1,409]                                          1 	(obj:20779)
A[3,1,413]                                          1 	(obj:20779)
A[3,1,414]                                          1 	(obj:19401)
A[3,1,419]                                          1 	(obj:13182)
A[3,1,423]                                          1 	(obj:13182)
A[3,1,429]                                          1 	(obj:20779)
A[3,1,435]                                          1 	(obj:9564)
A[3,1,438]                                          1 	(obj:12541)
A[3,1,444]                                          1 	(obj:12541)
A[3,1,449]                                          1 	(obj:13421)
A[3,1,457]                                          1 	(obj:12625)
A[3,1,462]                                          1 	(obj:12625)
A[3,1,467]                                          1 	(obj:12625)
A[3,1,469]                                          1 	(obj:13421)
A[3,1,475]                                          1 	(obj:17194)
A[3,1,479]                                          1 	(obj:13421)
A[3,1,485]                                          1 	(obj:17194)
A[3,1,490]                                          1 	(obj:17194)
A[3,1,500]                                          1 	(obj:7474)
A[3,1,510]                                          1 	(obj:7474)
A[3,1,519]                                          1 	(obj:5947)
A[3,1,524]                                          1 	(obj:14780)
A[3,1,527]                                          1 	(obj:13208)
A[3,1,532]                                          1 	(obj:14780)
A[3,1,534]                                          1 	(obj:17712)
A[3,1,539]                                          1 	(obj:13208)
A[3,1,542]                                          1 	(obj:17712)
A[3,1,546]                                          1 	(obj:17712)
A[3,1,550]                                          1 	(obj:17712)
A[3,1,555]                                          1 	(obj:13208)
A[3,1,565]                                          1 	(obj:7474)
A[3,1,574]                                          1 	(obj:7474)
A[3,1,583]                                          1 	(obj:7474)
A[3,1,586]                                          1 	(obj:13208)
A[3,1,590]                                          1 	(obj:13208)
A[3,1,594]                                          1 	(obj:13208)
A[3,1,599]                                          1 	(obj:14780)
A[3,1,601]                                          1 	(obj:17712)
A[3,1,606]                                          1 	(obj:13208)
A[3,1,610]                                          1 	(obj:13208)
A[3,1,614]                                          1 	(obj:13208)
A[3,1,618]                                          1 	(obj:13208)
A[3,1,624]                                          1 	(obj:8587)
A[3,1,633]                                          1 	(obj:8587)
A[3,1,646]                                          1 	(obj:7474)
A[3,1,648]                                          1 	(obj:15524)
A[3,1,652]                                          1 	(obj:17543)
A[3,1,654]                                          1 	(obj:15524)
A[3,1,659]                                          1 	(obj:20268)
A[3,1,661]                                          1 	(obj:17543)
A[3,1,665]                                          1 	(obj:20268)
A[3,1,666]                                          1 	(obj:15524)
A[3,1,671]                                          1 	(obj:20268)
A[3,1,672]                                          1 	(obj:15524)
A[3,1,678]                                          1 	(obj:12496)
A[3,1,683]                                          1 	(obj:15414)
A[3,1,687]                                          1 	(obj:9687)
A[3,1,695]                                          1 	(obj:17194)
A[3,1,700]                                          1 	(obj:17194)
A[3,1,705]                                          1 	(obj:17194)
A[3,1,709]                                          1 	(obj:13421)
A[3,1,715]                                          1 	(obj:17194)
A[3,1,722]                                          1 	(obj:12625)
A[3,1,724]                                          1 	(obj:13421)
A[3,1,730]                                          1 	(obj:17194)
A[3,1,737]                                          1 	(obj:12625)
A[3,1,745]                                          1 	(obj:7474)
A[3,1,755]                                          1 	(obj:7474)
A[3,1,760]                                          1 	(obj:6141)
A[3,1,807]                                          1 	(obj:799444)
A[3,1,826]                                          1 	(obj:799444)
A[3,1,845]                                          1 	(obj:799444)
A[3,1,890]                                          1 	(obj:799444)
A[3,1,942]                                          1 	(obj:799444)
A[3,1,961]                                          1 	(obj:799444)
A[3,1,993]                                          1 	(obj:799444)
A[3,1,1021]                                         1 	(obj:799444)
A[3,1,1059]                                         1 	(obj:799444)
A[3,1,1137]                                         1 	(obj:799444)
A[3,1,1200]                                         1 	(obj:799444)
A[3,1,1265]                                         1 	(obj:799444)
A[3,2,3]                                            1 	(obj:20268)
A[3,2,4]                                            1 	(obj:15524)
A[3,2,8]                                            1 	(obj:17543)
A[3,2,11]                                           1 	(obj:17543)
A[3,2,13]                                           1 	(obj:15524)
A[3,2,17]                                           1 	(obj:17543)
A[3,2,21]                                           1 	(obj:20268)
A[3,2,23]                                           1 	(obj:17543)
A[3,2,27]                                           1 	(obj:20268)
A[3,2,30]                                           1 	(obj:12496)
A[3,2,36]                                           1 	(obj:12496)
A[3,2,41]                                           1 	(obj:13318)
A[3,2,50]                                           1 	(obj:12625)
A[3,2,55]                                           1 	(obj:12625)
A[3,2,57]                                           1 	(obj:13421)
A[3,2,63]                                           1 	(obj:17194)
A[3,2,67]                                           1 	(obj:13421)
A[3,2,75]                                           1 	(obj:12625)
A[3,2,78]                                           1 	(obj:17194)
A[3,2,83]                                           1 	(obj:17194)
A[3,2,87]                                           1 	(obj:13421)
A[3,2,93]                                           1 	(obj:13279)
A[3,2,105]                                          1 	(obj:9564)
A[3,2,109]                                          1 	(obj:13279)
A[3,2,118]                                          1 	(obj:7998)
A[3,2,121]                                          1 	(obj:13421)
A[3,2,125]                                          1 	(obj:13913)
A[3,2,133]                                          1 	(obj:7998)
A[3,2,135]                                          1 	(obj:13913)
A[3,2,143]                                          1 	(obj:7998)
A[3,2,148]                                          1 	(obj:7998)
A[3,2,153]                                          1 	(obj:7998)
A[3,2,158]                                          1 	(obj:7998)
A[3,2,160]                                          1 	(obj:4840)
A[3,2,171]                                          1 	(obj:4840)
A[3,2,186]                                          1 	(obj:8587)
A[3,2,194]                                          1 	(obj:17304)
A[3,2,197]                                          1 	(obj:15880)
A[3,2,204]                                          1 	(obj:19090)
A[3,2,208]                                          1 	(obj:19090)
A[3,2,212]                                          1 	(obj:19090)
A[3,2,214]                                          1 	(obj:17304)
A[3,2,217]                                          1 	(obj:15880)
A[3,2,222]                                          1 	(obj:17304)
A[3,2,225]                                          1 	(obj:15880)
A[3,2,230]                                          1 	(obj:7520)
A[3,2,239]                                          1 	(obj:11778)
A[3,2,251]                                          1 	(obj:10412)
A[3,2,253]                                          1 	(obj:13518)
A[3,2,261]                                          1 	(obj:10910)
A[3,2,265]                                          1 	(obj:12496)
A[3,2,270]                                          1 	(obj:12496)
A[3,2,273]                                          1 	(obj:13518)
A[3,2,281]                                          1 	(obj:10910)
A[3,2,286]                                          1 	(obj:10910)
A[3,2,288]                                          1 	(obj:13518)
A[3,2,296]                                          1 	(obj:10910)
A[3,2,298]                                          1 	(obj:4840)
A[3,2,312]                                          1 	(obj:6141)
A[3,2,323]                                          1 	(obj:6141)
A[3,2,332]                                          1 	(obj:7998)
A[3,2,335]                                          1 	(obj:17310)
A[3,2,339]                                          1 	(obj:17310)
A[3,2,343]                                          1 	(obj:17310)
A[3,2,347]                                          1 	(obj:17310)
A[3,2,351]                                          1 	(obj:17310)
A[3,2,355]                                          1 	(obj:17310)
A[3,2,361]                                          1 	(obj:15214)
A[3,2,363]                                          1 	(obj:17310)
A[3,2,368]                                          1 	(obj:6594)
A[3,2,383]                                          1 	(obj:7474)
A[3,2,392]                                          1 	(obj:7474)
A[3,2,394]                                          1 	(obj:19401)
A[3,2,399]                                          1 	(obj:13182)
A[3,2,403]                                          1 	(obj:13182)
A[3,2,407]                                          1 	(obj:13182)
A[3,2,411]                                          1 	(obj:13182)
A[3,2,415]                                          1 	(obj:13182)
A[3,2,421]                                          1 	(obj:20779)
A[3,2,425]                                          1 	(obj:20779)
A[3,2,426]                                          1 	(obj:19401)
A[3,2,432]                                          1 	(obj:12541)
A[3,2,440]                                          1 	(obj:10412)
A[3,2,447]                                          1 	(obj:9564)
A[3,2,452]                                          1 	(obj:12625)
A[3,2,454]                                          1 	(obj:13421)
A[3,2,459]                                          1 	(obj:13421)
A[3,2,464]                                          1 	(obj:13421)
A[3,2,472]                                          1 	(obj:12625)
A[3,2,477]                                          1 	(obj:12625)
A[3,2,482]                                          1 	(obj:12625)
A[3,2,484]                                          1 	(obj:13421)
A[3,2,489]                                          1 	(obj:13421)
A[3,2,495]                                          1 	(obj:6141)
A[3,2,509]                                          1 	(obj:5947)
A[3,2,520]                                          1 	(obj:7474)
A[3,2,522]                                          1 	(obj:17712)
A[3,2,526]                                          1 	(obj:17712)
A[3,2,530]                                          1 	(obj:17712)
A[3,2,536]                                          1 	(obj:14780)
A[3,2,540]                                          1 	(obj:14780)
A[3,2,543]                                          1 	(obj:13208)
A[3,2,548]                                          1 	(obj:14780)
A[3,2,551]                                          1 	(obj:13208)
A[3,2,554]                                          1 	(obj:17712)
A[3,2,559]                                          1 	(obj:6594)
A[3,2,570]                                          1 	(obj:8587)
A[3,2,579]                                          1 	(obj:8587)
A[3,2,585]                                          1 	(obj:17712)
A[3,2,589]                                          1 	(obj:17712)
A[3,2,595]                                          1 	(obj:14780)
A[3,2,597]                                          1 	(obj:17712)
A[3,2,603]                                          1 	(obj:14780)
A[3,2,605]                                          1 	(obj:17712)
A[3,2,611]                                          1 	(obj:14780)
A[3,2,613]                                          1 	(obj:17712)
A[3,2,617]                                          1 	(obj:17712)
A[3,2,628]                                          1 	(obj:7474)
A[3,2,637]                                          1 	(obj:7474)
A[3,2,642]                                          1 	(obj:8587)
A[3,2,650]                                          1 	(obj:20268)
A[3,2,651]                                          1 	(obj:15524)
A[3,2,656]                                          1 	(obj:20268)
A[3,2,658]                                          1 	(obj:17543)
A[3,2,660]                                          1 	(obj:15524)
A[3,2,663]                                          1 	(obj:15524)
A[3,2,668]                                          1 	(obj:20268)
A[3,2,670]                                          1 	(obj:17543)
A[3,2,674]                                          1 	(obj:20268)
A[3,2,675]                                          1 	(obj:9687)
A[3,2,681]                                          1 	(obj:9687)
A[3,2,690]                                          1 	(obj:12496)
A[3,2,697]                                          1 	(obj:12625)
A[3,2,699]                                          1 	(obj:13421)
A[3,2,704]                                          1 	(obj:13421)
A[3,2,712]                                          1 	(obj:12625)
A[3,2,714]                                          1 	(obj:13421)
A[3,2,720]                                          1 	(obj:17194)
A[3,2,727]                                          1 	(obj:12625)
A[3,2,732]                                          1 	(obj:12625)
A[3,2,734]                                          1 	(obj:13421)
A[3,2,744]                                          1 	(obj:5947)
A[3,2,750]                                          1 	(obj:6141)
A[3,2,764]                                          1 	(obj:5947)
A[3,2,803]                                          1 	(obj:799444)
A[3,2,806]                                          1 	(obj:799444)
A[3,2,825]                                          1 	(obj:799444)
A[3,2,847]                                          1 	(obj:799444)
A[3,2,889]                                          1 	(obj:799444)
A[3,2,943]                                          1 	(obj:799444)
A[3,2,962]                                          1 	(obj:799444)
A[3,2,990]                                          1 	(obj:799444)
A[3,2,1019]                                         1 	(obj:799444)
A[3,2,1057]                                         1 	(obj:799444)
A[3,2,1135]                                         1 	(obj:799444)
A[3,2,1199]                                         1 	(obj:799444)
A[3,2,1266]                                         1 	(obj:799444)
A[3,3,2]                                            1 	(obj:17543)
A[3,3,6]                                            1 	(obj:20268)
A[3,3,7]                                            1 	(obj:15524)
A[3,3,12]                                           1 	(obj:20268)
A[3,3,15]                                           1 	(obj:20268)
A[3,3,16]                                           1 	(obj:15524)
A[3,3,20]                                           1 	(obj:17543)
A[3,3,24]                                           1 	(obj:20268)
A[3,3,26]                                           1 	(obj:17543)
A[3,3,29]                                           1 	(obj:13318)
A[3,3,39]                                           1 	(obj:9707)
A[3,3,42]                                           1 	(obj:12496)
A[3,3,48]                                           1 	(obj:17194)
A[3,3,52]                                           1 	(obj:13421)
A[3,3,58]                                           1 	(obj:17194)
A[3,3,62]                                           1 	(obj:13421)
A[3,3,70]                                           1 	(obj:12625)
A[3,3,72]                                           1 	(obj:13421)
A[3,3,77]                                           1 	(obj:13421)
A[3,3,85]                                           1 	(obj:12625)
A[3,3,88]                                           1 	(obj:17194)
A[3,3,95]                                           1 	(obj:12489)
A[3,3,101]                                          1 	(obj:13279)
A[3,3,111]                                          1 	(obj:12489)
A[3,3,115]                                          1 	(obj:13913)
A[3,3,123]                                          1 	(obj:7998)
A[3,3,126]                                          1 	(obj:13421)
A[3,3,131]                                          1 	(obj:13421)
A[3,3,136]                                          1 	(obj:13421)
A[3,3,141]                                          1 	(obj:13421)
A[3,3,146]                                          1 	(obj:13421)
A[3,3,151]                                          1 	(obj:13421)
A[3,3,156]                                          1 	(obj:13421)
A[3,3,164]                                          1 	(obj:8587)
A[3,3,174]                                          1 	(obj:6141)
A[3,3,182]                                          1 	(obj:4840)
A[3,3,196]                                          1 	(obj:19090)
A[3,3,200]                                          1 	(obj:19090)
A[3,3,201]                                          1 	(obj:15880)
A[3,3,206]                                          1 	(obj:17304)
A[3,3,210]                                          1 	(obj:17304)
A[3,3,213]                                          1 	(obj:15880)
A[3,3,218]                                          1 	(obj:17304)
A[3,3,224]                                          1 	(obj:19090)
A[3,3,228]                                          1 	(obj:19090)
A[3,3,235]                                          1 	(obj:10412)
A[3,3,238]                                          1 	(obj:7520)
A[3,3,246]                                          1 	(obj:7520)
A[3,3,255]                                          1 	(obj:12496)
A[3,3,260]                                          1 	(obj:12496)
A[3,3,263]                                          1 	(obj:13518)
A[3,3,271]                                          1 	(obj:10910)
A[3,3,275]                                          1 	(obj:12496)
A[3,3,280]                                          1 	(obj:12496)
A[3,3,285]                                          1 	(obj:12496)
A[3,3,290]                                          1 	(obj:12496)
A[3,3,293]                                          1 	(obj:13518)
A[3,3,304]                                          1 	(obj:4853)
A[3,3,309]                                          1 	(obj:4840)
A[3,3,326]                                          1 	(obj:4853)
A[3,3,333]                                          1 	(obj:15214)
A[3,3,336]                                          1 	(obj:7998)
A[3,3,341]                                          1 	(obj:15214)
A[3,3,345]                                          1 	(obj:15214)
A[3,3,348]                                          1 	(obj:7998)
A[3,3,353]                                          1 	(obj:15214)
A[3,3,356]                                          1 	(obj:7998)
A[3,3,359]                                          1 	(obj:17310)
A[3,3,364]                                          1 	(obj:7998)
A[3,3,374]                                          1 	(obj:7474)
A[3,3,379]                                          1 	(obj:8587)
A[3,3,386]                                          1 	(obj:6594)
A[3,3,395]                                          1 	(obj:13182)
A[3,3,401]                                          1 	(obj:20779)
A[3,3,405]                                          1 	(obj:20779)
A[3,3,406]                                          1 	(obj:19401)
A[3,3,410]                                          1 	(obj:19401)
A[3,3,417]                                          1 	(obj:20779)
A[3,3,418]                                          1 	(obj:19401)
A[3,3,422]                                          1 	(obj:19401)
A[3,3,427]                                          1 	(obj:13182)
A[3,3,434]                                          1 	(obj:10412)
A[3,3,441]                                          1 	(obj:9564)
A[3,3,446]                                          1 	(obj:10412)
A[3,3,450]                                          1 	(obj:17194)
A[3,3,455]                                          1 	(obj:17194)
A[3,3,460]                                          1 	(obj:17194)
A[3,3,465]                                          1 	(obj:17194)
A[3,3,470]                                          1 	(obj:17194)
A[3,3,474]                                          1 	(obj:13421)
A[3,3,480]                                          1 	(obj:17194)
A[3,3,487]                                          1 	(obj:12625)
A[3,3,492]                                          1 	(obj:12625)
A[3,3,499]                                          1 	(obj:5947)
A[3,3,505]                                          1 	(obj:6141)
A[3,3,515]                                          1 	(obj:6141)
A[3,3,523]                                          1 	(obj:13208)
A[3,3,528]                                          1 	(obj:14780)
A[3,3,531]                                          1 	(obj:13208)
A[3,3,535]                                          1 	(obj:13208)
A[3,3,538]                                          1 	(obj:17712)
A[3,3,544]                                          1 	(obj:14780)
A[3,3,547]                                          1 	(obj:13208)
A[3,3,552]                                          1 	(obj:14780)
A[3,3,556]                                          1 	(obj:14780)
A[3,3,561]                                          1 	(obj:8587)
A[3,3,568]                                          1 	(obj:6594)
A[3,3,577]                                          1 	(obj:6594)
A[3,3,587]                                          1 	(obj:14780)
A[3,3,591]                                          1 	(obj:14780)
A[3,3,593]                                          1 	(obj:17712)
A[3,3,598]                                          1 	(obj:13208)
A[3,3,602]                                          1 	(obj:13208)
A[3,3,607]                                          1 	(obj:14780)
A[3,3,609]                                          1 	(obj:17712)
A[3,3,615]                                          1 	(obj:14780)
A[3,3,619]                                          1 	(obj:14780)
A[3,3,622]                                          1 	(obj:6594)
A[3,3,631]                                          1 	(obj:6594)
A[3,3,640]                                          1 	(obj:6594)
A[3,3,649]                                          1 	(obj:17543)
A[3,3,653]                                          1 	(obj:20268)
A[3,3,655]                                          1 	(obj:17543)
A[3,3,657]                                          1 	(obj:15524)
A[3,3,662]                                          1 	(obj:20268)
A[3,3,664]                                          1 	(obj:17543)
A[3,3,667]                                          1 	(obj:17543)
A[3,3,669]                                          1 	(obj:15524)
A[3,3,673]                                          1 	(obj:17543)
A[3,3,677]                                          1 	(obj:15414)
A[3,3,684]                                          1 	(obj:12496)
A[3,3,689]                                          1 	(obj:15414)
A[3,3,694]                                          1 	(obj:13421)
A[3,3,702]                                          1 	(obj:12625)
A[3,3,707]                                          1 	(obj:12625)
A[3,3,710]                                          1 	(obj:17194)
A[3,3,717]                                          1 	(obj:12625)
A[3,3,719]                                          1 	(obj:13421)
A[3,3,725]                                          1 	(obj:17194)
A[3,3,729]                                          1 	(obj:13421)
A[3,3,735]                                          1 	(obj:17194)
A[3,3,740]                                          1 	(obj:6141)
A[3,3,754]                                          1 	(obj:5947)
A[3,3,765]                                          1 	(obj:7474)
A[3,3,805]                                          1 	(obj:799444)
A[3,3,827]                                          1 	(obj:799444)
A[3,3,846]                                          1 	(obj:799444)
A[3,3,886]                                          1 	(obj:799444)
A[3,3,934]                                          1 	(obj:799444)
A[3,3,963]                                          1 	(obj:799444)
A[3,3,989]                                          1 	(obj:799444)
A[3,3,1022]                                         1 	(obj:799444)
A[3,3,1062]                                         1 	(obj:799444)
A[3,3,1136]                                         1 	(obj:799444)
A[3,3,1201]                                         1 	(obj:799444)
A[3,3,1268]                                         1 	(obj:799444)
B[1,1,32]                                           1 	(obj:190800)
B[1,1,38]                                           1 	(obj:190800)
B[1,1,44]                                           1 	(obj:190800)
B[1,1,49]                                           1 	(obj:159000)
B[1,1,54]                                           1 	(obj:159000)
B[1,1,59]                                           1 	(obj:159000)
B[1,1,64]                                           1 	(obj:159000)
B[1,1,69]                                           1 	(obj:159000)
B[1,1,74]                                           1 	(obj:159000)
B[1,1,79]                                           1 	(obj:159000)
B[1,1,84]                                           1 	(obj:159000)
B[1,1,89]                                           1 	(obj:159000)
B[1,1,91]                                           1 	(obj:190800)
B[1,1,96]                                           1 	(obj:190800)
B[1,1,99]                                           1 	(obj:190800)
B[1,1,104]                                          1 	(obj:190800)
B[1,1,107]                                          1 	(obj:190800)
B[1,1,112]                                          1 	(obj:190800)
B[1,1,168]                                          1 	(obj:190800)
B[1,1,179]                                          1 	(obj:190800)
B[1,1,190]                                          1 	(obj:190800)
B[1,1,195]                                          1 	(obj:159000)
B[1,1,199]                                          1 	(obj:159000)
B[1,1,203]                                          1 	(obj:159000)
B[1,1,207]                                          1 	(obj:159000)
B[1,1,211]                                          1 	(obj:159000)
B[1,1,215]                                          1 	(obj:159000)
B[1,1,219]                                          1 	(obj:159000)
B[1,1,223]                                          1 	(obj:159000)
B[1,1,227]                                          1 	(obj:159000)
B[1,1,229]                                          1 	(obj:190800)
B[1,1,237]                                          1 	(obj:190800)
B[1,1,245]                                          1 	(obj:190800)
B[1,1,396]                                          1 	(obj:159000)
B[1,1,400]                                          1 	(obj:159000)
B[1,1,404]                                          1 	(obj:159000)
B[1,1,408]                                          1 	(obj:159000)
B[1,1,412]                                          1 	(obj:159000)
B[1,1,416]                                          1 	(obj:159000)
B[1,1,420]                                          1 	(obj:159000)
B[1,1,424]                                          1 	(obj:159000)
B[1,1,428]                                          1 	(obj:159000)
B[1,1,451]                                          1 	(obj:159000)
B[1,1,456]                                          1 	(obj:159000)
B[1,1,461]                                          1 	(obj:159000)
B[1,1,466]                                          1 	(obj:159000)
B[1,1,471]                                          1 	(obj:159000)
B[1,1,476]                                          1 	(obj:159000)
B[1,1,481]                                          1 	(obj:159000)
B[1,1,486]                                          1 	(obj:159000)
B[1,1,491]                                          1 	(obj:159000)
B[1,1,680]                                          1 	(obj:190800)
B[1,1,686]                                          1 	(obj:190800)
B[1,1,692]                                          1 	(obj:190800)
B[1,1,696]                                          1 	(obj:159000)
B[1,1,701]                                          1 	(obj:159000)
B[1,1,706]                                          1 	(obj:159000)
B[1,1,711]                                          1 	(obj:159000)
B[1,1,716]                                          1 	(obj:159000)
B[1,1,721]                                          1 	(obj:159000)
B[1,1,726]                                          1 	(obj:159000)
B[1,1,731]                                          1 	(obj:159000)
B[1,1,736]                                          1 	(obj:159000)
B[1,1,768]                                          1 	(obj:580000)
B[1,1,773]                                          1 	(obj:580000)
B[1,1,778]                                          1 	(obj:580000)
B[1,1,783]                                          1 	(obj:580000)
B[1,1,788]                                          1 	(obj:580000)
B[1,1,793]                                          1 	(obj:580000)
B[1,1,820]                                          1 	(obj:696000)
B[1,1,824]                                          1 	(obj:696000)
B[1,1,840]                                          1 	(obj:696000)
B[1,1,844]                                          1 	(obj:696000)
B[1,1,982]                                          1 	(obj:696000)
B[1,1,988]                                          1 	(obj:696000)
B[1,1,1048]                                         1 	(obj:696000)
B[1,1,1056]                                         1 	(obj:696000)
B[1,1,1064]                                         1 	(obj:580000)
B[1,1,1071]                                         1 	(obj:580000)
B[1,1,1078]                                         1 	(obj:580000)
B[1,1,1085]                                         1 	(obj:580000)
B[1,1,1092]                                         1 	(obj:580000)
B[1,1,1099]                                         1 	(obj:580000)
B[1,1,1138]                                         1 	(obj:580000)
B[1,1,1144]                                         1 	(obj:580000)
B[1,1,1150]                                         1 	(obj:580000)
B[1,1,1156]                                         1 	(obj:580000)
B[1,1,1162]                                         1 	(obj:580000)
B[1,1,1168]                                         1 	(obj:580000)
B[1,1,1202]                                         1 	(obj:580000)
B[1,1,1209]                                         1 	(obj:580000)
B[1,1,1216]                                         1 	(obj:580000)
B[1,1,1223]                                         1 	(obj:580000)
B[1,1,1230]                                         1 	(obj:580000)
B[1,1,1237]                                         1 	(obj:580000)
B[2,1,94]                                           1 	(obj:220416)
B[2,1,102]                                          1 	(obj:220416)
B[2,1,110]                                          1 	(obj:220416)
B[2,1,367]                                          1 	(obj:220416)
B[2,1,376]                                          1 	(obj:220416)
B[2,1,385]                                          1 	(obj:220416)
B[2,1,558]                                          1 	(obj:220416)
B[2,1,567]                                          1 	(obj:220416)
B[2,1,576]                                          1 	(obj:220416)
B[2,1,621]                                          1 	(obj:220416)
B[2,1,630]                                          1 	(obj:220416)
B[2,1,639]                                          1 	(obj:220416)
B[2,1,769]                                          1 	(obj:672000)
B[2,1,770]                                          1 	(obj:672000)
B[2,1,771]                                          1 	(obj:672000)
B[2,1,772]                                          1 	(obj:672000)
B[2,1,774]                                          1 	(obj:672000)
B[2,1,775]                                          1 	(obj:672000)
B[2,1,776]                                          1 	(obj:672000)
B[2,1,777]                                          1 	(obj:672000)
B[2,1,779]                                          1 	(obj:672000)
B[2,1,780]                                          1 	(obj:672000)
B[2,1,781]                                          1 	(obj:672000)
B[2,1,782]                                          1 	(obj:672000)
B[2,1,784]                                          1 	(obj:672000)
B[2,1,785]                                          1 	(obj:672000)
B[2,1,786]                                          1 	(obj:672000)
B[2,1,787]                                          1 	(obj:672000)
B[2,1,789]                                          1 	(obj:672000)
B[2,1,790]                                          1 	(obj:672000)
B[2,1,791]                                          1 	(obj:672000)
B[2,1,792]                                          1 	(obj:672000)
B[2,1,794]                                          1 	(obj:672000)
B[2,1,795]                                          1 	(obj:672000)
B[2,1,796]                                          1 	(obj:672000)
B[2,1,797]                                          1 	(obj:672000)
B[2,1,798]                                          1 	(obj:806400)
B[2,1,799]                                          1 	(obj:806400)
B[2,1,800]                                          1 	(obj:806400)
B[2,1,804]                                          1 	(obj:806400)
B[2,1,821]                                          1 	(obj:806400)
B[2,1,822]                                          1 	(obj:806400)
B[2,1,841]                                          1 	(obj:806400)
B[2,1,842]                                          1 	(obj:806400)
B[2,1,848]                                          1 	(obj:672000)
B[2,1,849]                                          1 	(obj:672000)
B[2,1,852]                                          1 	(obj:672000)
B[2,1,853]                                          1 	(obj:672000)
B[2,1,856]                                          1 	(obj:672000)
B[2,1,857]                                          1 	(obj:672000)
B[2,1,860]                                          1 	(obj:672000)
B[2,1,861]                                          1 	(obj:672000)
B[2,1,864]                                          1 	(obj:672000)
B[2,1,865]                                          1 	(obj:672000)
B[2,1,868]                                          1 	(obj:672000)
B[2,1,869]                                          1 	(obj:672000)
B[2,1,872]                                          1 	(obj:806400)
B[2,1,873]                                          1 	(obj:806400)
B[2,1,874]                                          1 	(obj:806400)
B[2,1,875]                                          1 	(obj:806400)
B[2,1,876]                                          1 	(obj:806400)
B[2,1,877]                                          1 	(obj:806400)
B[2,1,878]                                          1 	(obj:806400)
B[2,1,879]                                          1 	(obj:806400)
B[2,1,880]                                          1 	(obj:806400)
B[2,1,881]                                          1 	(obj:806400)
B[2,1,882]                                          1 	(obj:806400)
B[2,1,883]                                          1 	(obj:806400)
B[2,1,884]                                          1 	(obj:806400)
B[2,1,885]                                          1 	(obj:806400)
B[2,1,887]                                          1 	(obj:806400)
B[2,1,888]                                          1 	(obj:806400)
B[2,1,891]                                          1 	(obj:806400)
B[2,1,892]                                          1 	(obj:806400)
B[2,1,893]                                          1 	(obj:806400)
B[2,1,894]                                          1 	(obj:672000)
B[2,1,895]                                          1 	(obj:672000)
B[2,1,896]                                          1 	(obj:672000)
B[2,1,897]                                          1 	(obj:672000)
B[2,1,899]                                          1 	(obj:672000)
B[2,1,900]                                          1 	(obj:672000)
B[2,1,901]                                          1 	(obj:672000)
B[2,1,902]                                          1 	(obj:672000)
B[2,1,904]                                          1 	(obj:672000)
B[2,1,905]                                          1 	(obj:672000)
B[2,1,906]                                          1 	(obj:672000)
B[2,1,907]                                          1 	(obj:672000)
B[2,1,909]                                          1 	(obj:672000)
B[2,1,910]                                          1 	(obj:672000)
B[2,1,911]                                          1 	(obj:672000)
B[2,1,912]                                          1 	(obj:672000)
B[2,1,914]                                          1 	(obj:672000)
B[2,1,915]                                          1 	(obj:672000)
B[2,1,916]                                          1 	(obj:672000)
B[2,1,917]                                          1 	(obj:672000)
B[2,1,919]                                          1 	(obj:672000)
B[2,1,920]                                          1 	(obj:672000)
B[2,1,921]                                          1 	(obj:672000)
B[2,1,922]                                          1 	(obj:672000)
B[2,1,924]                                          1 	(obj:806400)
B[2,1,925]                                          1 	(obj:806400)
B[2,1,926]                                          1 	(obj:806400)
B[2,1,927]                                          1 	(obj:806400)
B[2,1,928]                                          1 	(obj:806400)
B[2,1,929]                                          1 	(obj:806400)
B[2,1,930]                                          1 	(obj:806400)
B[2,1,931]                                          1 	(obj:806400)
B[2,1,935]                                          1 	(obj:806400)
B[2,1,936]                                          1 	(obj:806400)
B[2,1,937]                                          1 	(obj:806400)
B[2,1,938]                                          1 	(obj:806400)
B[2,1,939]                                          1 	(obj:806400)
B[2,1,940]                                          1 	(obj:806400)
B[2,1,941]                                          1 	(obj:806400)
B[2,1,956]                                          1 	(obj:806400)
B[2,1,960]                                          1 	(obj:806400)
B[2,1,964]                                          1 	(obj:672000)
B[2,1,965]                                          1 	(obj:672000)
B[2,1,966]                                          1 	(obj:672000)
B[2,1,967]                                          1 	(obj:672000)
B[2,1,968]                                          1 	(obj:672000)
B[2,1,969]                                          1 	(obj:672000)
B[2,1,970]                                          1 	(obj:672000)
B[2,1,971]                                          1 	(obj:672000)
B[2,1,972]                                          1 	(obj:672000)
B[2,1,973]                                          1 	(obj:672000)
B[2,1,974]                                          1 	(obj:672000)
B[2,1,975]                                          1 	(obj:672000)
B[2,1,976]                                          1 	(obj:672000)
B[2,1,977]                                          1 	(obj:672000)
B[2,1,978]                                          1 	(obj:672000)
B[2,1,979]                                          1 	(obj:672000)
B[2,1,980]                                          1 	(obj:672000)
B[2,1,981]                                          1 	(obj:672000)
B[2,1,983]                                          1 	(obj:806400)
B[2,1,984]                                          1 	(obj:806400)
B[2,1,985]                                          1 	(obj:806400)
B[2,1,986]                                          1 	(obj:806400)
B[2,1,987]                                          1 	(obj:806400)
B[2,1,991]                                          1 	(obj:806400)
B[2,1,992]                                          1 	(obj:806400)
B[2,1,994]                                          1 	(obj:672000)
B[2,1,995]                                          1 	(obj:672000)
B[2,1,996]                                          1 	(obj:672000)
B[2,1,997]                                          1 	(obj:672000)
B[2,1,998]                                          1 	(obj:672000)
B[2,1,999]                                          1 	(obj:672000)
B[2,1,1000]                                         1 	(obj:672000)
B[2,1,1001]                                         1 	(obj:672000)
B[2,1,1002]                                         1 	(obj:672000)
B[2,1,1003]                                         1 	(obj:672000)
B[2,1,1004]                                         1 	(obj:672000)
B[2,1,1005]                                         1 	(obj:672000)
B[2,1,1006]                                         1 	(obj:672000)
B[2,1,1007]                                         1 	(obj:672000)
B[2,1,1008]                                         1 	(obj:672000)
B[2,1,1009]                                         1 	(obj:672000)
B[2,1,1010]                                         1 	(obj:672000)
B[2,1,1011]                                         1 	(obj:672000)
B[2,1,1012]                                         1 	(obj:806400)
B[2,1,1013]                                         1 	(obj:806400)
B[2,1,1014]                                         1 	(obj:806400)
B[2,1,1015]                                         1 	(obj:806400)
B[2,1,1016]                                         1 	(obj:806400)
B[2,1,1017]                                         1 	(obj:806400)
B[2,1,1018]                                         1 	(obj:806400)
B[2,1,1020]                                         1 	(obj:806400)
B[2,1,1023]                                         1 	(obj:806400)
B[2,1,1024]                                         1 	(obj:672000)
B[2,1,1025]                                         1 	(obj:672000)
B[2,1,1026]                                         1 	(obj:672000)
B[2,1,1027]                                         1 	(obj:672000)
B[2,1,1028]                                         1 	(obj:672000)
B[2,1,1029]                                         1 	(obj:672000)
B[2,1,1030]                                         1 	(obj:672000)
B[2,1,1031]                                         1 	(obj:672000)
B[2,1,1032]                                         1 	(obj:672000)
B[2,1,1033]                                         1 	(obj:672000)
B[2,1,1034]                                         1 	(obj:672000)
B[2,1,1035]                                         1 	(obj:672000)
B[2,1,1036]                                         1 	(obj:672000)
B[2,1,1037]                                         1 	(obj:672000)
B[2,1,1038]                                         1 	(obj:672000)
B[2,1,1039]                                         1 	(obj:672000)
B[2,1,1040]                                         1 	(obj:672000)
B[2,1,1041]                                         1 	(obj:672000)
B[2,1,1042]                                         1 	(obj:672000)
B[2,1,1043]                                         1 	(obj:672000)
B[2,1,1044]                                         1 	(obj:672000)
B[2,1,1045]                                         1 	(obj:672000)
B[2,1,1046]                                         1 	(obj:672000)
B[2,1,1047]                                         1 	(obj:672000)
B[2,1,1049]                                         1 	(obj:806400)
B[2,1,1050]                                         1 	(obj:806400)
B[2,1,1051]                                         1 	(obj:806400)
B[2,1,1052]                                         1 	(obj:806400)
B[2,1,1053]                                         1 	(obj:806400)
B[2,1,1054]                                         1 	(obj:806400)
B[2,1,1055]                                         1 	(obj:806400)
B[2,1,1058]                                         1 	(obj:806400)
B[2,1,1060]                                         1 	(obj:806400)
B[2,1,1061]                                         1 	(obj:806400)
B[2,1,1063]                                         1 	(obj:806400)
B[2,1,1065]                                         1 	(obj:672000)
B[2,1,1066]                                         1 	(obj:672000)
B[2,1,1067]                                         1 	(obj:672000)
B[2,1,1072]                                         1 	(obj:672000)
B[2,1,1073]                                         1 	(obj:672000)
B[2,1,1074]                                         1 	(obj:672000)
B[2,1,1079]                                         1 	(obj:672000)
B[2,1,1080]                                         1 	(obj:672000)
B[2,1,1081]                                         1 	(obj:672000)
B[2,1,1086]                                         1 	(obj:672000)
B[2,1,1087]                                         1 	(obj:672000)
B[2,1,1088]                                         1 	(obj:672000)
B[2,1,1093]                                         1 	(obj:672000)
B[2,1,1094]                                         1 	(obj:672000)
B[2,1,1095]                                         1 	(obj:672000)
B[2,1,1100]                                         1 	(obj:672000)
B[2,1,1101]                                         1 	(obj:672000)
B[2,1,1102]                                         1 	(obj:672000)
B[2,1,1106]                                         1 	(obj:806400)
B[2,1,1107]                                         1 	(obj:806400)
B[2,1,1108]                                         1 	(obj:806400)
B[2,1,1109]                                         1 	(obj:806400)
B[2,1,1110]                                         1 	(obj:806400)
B[2,1,1111]                                         1 	(obj:806400)
B[2,1,1112]                                         1 	(obj:806400)
B[2,1,1113]                                         1 	(obj:806400)
B[2,1,1114]                                         1 	(obj:806400)
B[2,1,1115]                                         1 	(obj:806400)
B[2,1,1116]                                         1 	(obj:806400)
B[2,1,1117]                                         1 	(obj:806400)
B[2,1,1118]                                         1 	(obj:806400)
B[2,1,1122]                                         1 	(obj:806400)
B[2,1,1123]                                         1 	(obj:806400)
B[2,1,1124]                                         1 	(obj:806400)
B[2,1,1125]                                         1 	(obj:806400)
B[2,1,1126]                                         1 	(obj:806400)
B[2,1,1127]                                         1 	(obj:806400)
B[2,1,1128]                                         1 	(obj:806400)
B[2,1,1129]                                         1 	(obj:806400)
B[2,1,1130]                                         1 	(obj:806400)
B[2,1,1131]                                         1 	(obj:806400)
B[2,1,1132]                                         1 	(obj:806400)
B[2,1,1133]                                         1 	(obj:806400)
B[2,1,1134]                                         1 	(obj:806400)
B[2,1,1139]                                         1 	(obj:672000)
B[2,1,1140]                                         1 	(obj:672000)
B[2,1,1145]                                         1 	(obj:672000)
B[2,1,1146]                                         1 	(obj:672000)
B[2,1,1151]                                         1 	(obj:672000)
B[2,1,1152]                                         1 	(obj:672000)
B[2,1,1157]                                         1 	(obj:672000)
B[2,1,1158]                                         1 	(obj:672000)
B[2,1,1163]                                         1 	(obj:672000)
B[2,1,1164]                                         1 	(obj:672000)
B[2,1,1169]                                         1 	(obj:672000)
B[2,1,1170]                                         1 	(obj:672000)
B[2,1,1174]                                         1 	(obj:806400)
B[2,1,1175]                                         1 	(obj:806400)
B[2,1,1176]                                         1 	(obj:806400)
B[2,1,1177]                                         1 	(obj:806400)
B[2,1,1178]                                         1 	(obj:806400)
B[2,1,1179]                                         1 	(obj:806400)
B[2,1,1180]                                         1 	(obj:806400)
B[2,1,1181]                                         1 	(obj:806400)
B[2,1,1182]                                         1 	(obj:806400)
B[2,1,1183]                                         1 	(obj:806400)
B[2,1,1184]                                         1 	(obj:806400)
B[2,1,1188]                                         1 	(obj:806400)
B[2,1,1189]                                         1 	(obj:806400)
B[2,1,1190]                                         1 	(obj:806400)
B[2,1,1191]                                         1 	(obj:806400)
B[2,1,1192]                                         1 	(obj:806400)
B[2,1,1193]                                         1 	(obj:806400)
B[2,1,1194]                                         1 	(obj:806400)
B[2,1,1195]                                         1 	(obj:806400)
B[2,1,1196]                                         1 	(obj:806400)
B[2,1,1197]                                         1 	(obj:806400)
B[2,1,1198]                                         1 	(obj:806400)
B[2,1,1203]                                         1 	(obj:672000)
B[2,1,1204]                                         1 	(obj:672000)
B[2,1,1205]                                         1 	(obj:672000)
B[2,1,1210]                                         1 	(obj:672000)
B[2,1,1211]                                         1 	(obj:672000)
B[2,1,1212]                                         1 	(obj:672000)
B[2,1,1217]                                         1 	(obj:672000)
B[2,1,1218]                                         1 	(obj:672000)
B[2,1,1219]                                         1 	(obj:672000)
B[2,1,1224]                                         1 	(obj:672000)
B[2,1,1225]                                         1 	(obj:672000)
B[2,1,1226]                                         1 	(obj:672000)
B[2,1,1231]                                         1 	(obj:672000)
B[2,1,1232]                                         1 	(obj:672000)
B[2,1,1233]                                         1 	(obj:672000)
B[2,1,1238]                                         1 	(obj:672000)
B[2,1,1239]                                         1 	(obj:672000)
B[2,1,1240]                                         1 	(obj:672000)
B[2,1,1244]                                         1 	(obj:806400)
B[2,1,1245]                                         1 	(obj:806400)
B[2,1,1246]                                         1 	(obj:806400)
B[2,1,1247]                                         1 	(obj:806400)
B[2,1,1248]                                         1 	(obj:806400)
B[2,1,1249]                                         1 	(obj:806400)
B[2,1,1257]                                         1 	(obj:806400)
B[2,1,1258]                                         1 	(obj:806400)
B[2,1,1259]                                         1 	(obj:806400)
B[2,1,1260]                                         1 	(obj:806400)
B[2,1,1261]                                         1 	(obj:806400)
B[2,1,1262]                                         1 	(obj:806400)
B[3,1,28]                                           1 	(obj:264000)
B[3,1,31]                                           1 	(obj:264000)
B[3,1,34]                                           1 	(obj:264000)
B[3,1,37]                                           1 	(obj:264000)
B[3,1,40]                                           1 	(obj:264000)
B[3,1,43]                                           1 	(obj:264000)
B[3,1,46]                                           1 	(obj:220000)
B[3,1,51]                                           1 	(obj:220000)
B[3,1,56]                                           1 	(obj:220000)
B[3,1,61]                                           1 	(obj:220000)
B[3,1,66]                                           1 	(obj:220000)
B[3,1,71]                                           1 	(obj:220000)
B[3,1,76]                                           1 	(obj:220000)
B[3,1,81]                                           1 	(obj:220000)
B[3,1,86]                                           1 	(obj:220000)
B[3,1,92]                                           1 	(obj:264000)
B[3,1,98]                                           1 	(obj:264000)
B[3,1,100]                                          1 	(obj:264000)
B[3,1,106]                                          1 	(obj:264000)
B[3,1,108]                                          1 	(obj:264000)
B[3,1,114]                                          1 	(obj:264000)
B[3,1,117]                                          1 	(obj:220000)
B[3,1,119]                                          1 	(obj:220000)
B[3,1,122]                                          1 	(obj:220000)
B[3,1,124]                                          1 	(obj:220000)
B[3,1,127]                                          1 	(obj:220000)
B[3,1,129]                                          1 	(obj:220000)
B[3,1,132]                                          1 	(obj:220000)
B[3,1,134]                                          1 	(obj:220000)
B[3,1,137]                                          1 	(obj:220000)
B[3,1,139]                                          1 	(obj:220000)
B[3,1,142]                                          1 	(obj:220000)
B[3,1,144]                                          1 	(obj:220000)
B[3,1,147]                                          1 	(obj:220000)
B[3,1,149]                                          1 	(obj:220000)
B[3,1,152]                                          1 	(obj:220000)
B[3,1,154]                                          1 	(obj:220000)
B[3,1,157]                                          1 	(obj:220000)
B[3,1,159]                                          1 	(obj:220000)
B[3,1,161]                                          1 	(obj:264000)
B[3,1,162]                                          1 	(obj:264000)
B[3,1,165]                                          1 	(obj:264000)
B[3,1,166]                                          1 	(obj:264000)
B[3,1,167]                                          1 	(obj:264000)
B[3,1,169]                                          1 	(obj:264000)
B[3,1,170]                                          1 	(obj:264000)
B[3,1,172]                                          1 	(obj:264000)
B[3,1,173]                                          1 	(obj:264000)
B[3,1,176]                                          1 	(obj:264000)
B[3,1,177]                                          1 	(obj:264000)
B[3,1,178]                                          1 	(obj:264000)
B[3,1,180]                                          1 	(obj:264000)
B[3,1,181]                                          1 	(obj:264000)
B[3,1,183]                                          1 	(obj:264000)
B[3,1,184]                                          1 	(obj:264000)
B[3,1,187]                                          1 	(obj:264000)
B[3,1,188]                                          1 	(obj:264000)
B[3,1,189]                                          1 	(obj:264000)
B[3,1,191]                                          1 	(obj:264000)
B[3,1,192]                                          1 	(obj:264000)
B[3,1,232]                                          1 	(obj:264000)
B[3,1,233]                                          1 	(obj:264000)
B[3,1,234]                                          1 	(obj:264000)
B[3,1,236]                                          1 	(obj:264000)
B[3,1,240]                                          1 	(obj:264000)
B[3,1,241]                                          1 	(obj:264000)
B[3,1,242]                                          1 	(obj:264000)
B[3,1,244]                                          1 	(obj:264000)
B[3,1,248]                                          1 	(obj:264000)
B[3,1,249]                                          1 	(obj:264000)
B[3,1,250]                                          1 	(obj:264000)
B[3,1,252]                                          1 	(obj:264000)
B[3,1,254]                                          1 	(obj:220000)
B[3,1,257]                                          1 	(obj:220000)
B[3,1,259]                                          1 	(obj:220000)
B[3,1,262]                                          1 	(obj:220000)
B[3,1,264]                                          1 	(obj:220000)
B[3,1,267]                                          1 	(obj:220000)
B[3,1,269]                                          1 	(obj:220000)
B[3,1,272]                                          1 	(obj:220000)
B[3,1,274]                                          1 	(obj:220000)
B[3,1,277]                                          1 	(obj:220000)
B[3,1,279]                                          1 	(obj:220000)
B[3,1,282]                                          1 	(obj:220000)
B[3,1,284]                                          1 	(obj:220000)
B[3,1,287]                                          1 	(obj:220000)
B[3,1,289]                                          1 	(obj:220000)
B[3,1,292]                                          1 	(obj:220000)
B[3,1,294]                                          1 	(obj:220000)
B[3,1,297]                                          1 	(obj:220000)
B[3,1,299]                                          1 	(obj:264000)
B[3,1,300]                                          1 	(obj:264000)
B[3,1,302]                                          1 	(obj:264000)
B[3,1,303]                                          1 	(obj:264000)
B[3,1,305]                                          1 	(obj:264000)
B[3,1,306]                                          1 	(obj:264000)
B[3,1,307]                                          1 	(obj:264000)
B[3,1,308]                                          1 	(obj:264000)
B[3,1,310]                                          1 	(obj:264000)
B[3,1,311]                                          1 	(obj:264000)
B[3,1,313]                                          1 	(obj:264000)
B[3,1,314]                                          1 	(obj:264000)
B[3,1,316]                                          1 	(obj:264000)
B[3,1,317]                                          1 	(obj:264000)
B[3,1,318]                                          1 	(obj:264000)
B[3,1,319]                                          1 	(obj:264000)
B[3,1,321]                                          1 	(obj:264000)
B[3,1,322]                                          1 	(obj:264000)
B[3,1,324]                                          1 	(obj:264000)
B[3,1,325]                                          1 	(obj:264000)
B[3,1,327]                                          1 	(obj:264000)
B[3,1,328]                                          1 	(obj:264000)
B[3,1,329]                                          1 	(obj:264000)
B[3,1,330]                                          1 	(obj:264000)
B[3,1,334]                                          1 	(obj:220000)
B[3,1,338]                                          1 	(obj:220000)
B[3,1,342]                                          1 	(obj:220000)
B[3,1,346]                                          1 	(obj:220000)
B[3,1,350]                                          1 	(obj:220000)
B[3,1,354]                                          1 	(obj:220000)
B[3,1,358]                                          1 	(obj:220000)
B[3,1,362]                                          1 	(obj:220000)
B[3,1,366]                                          1 	(obj:220000)
B[3,1,369]                                          1 	(obj:264000)
B[3,1,371]                                          1 	(obj:264000)
B[3,1,372]                                          1 	(obj:264000)
B[3,1,373]                                          1 	(obj:264000)
B[3,1,375]                                          1 	(obj:264000)
B[3,1,378]                                          1 	(obj:264000)
B[3,1,380]                                          1 	(obj:264000)
B[3,1,381]                                          1 	(obj:264000)
B[3,1,382]                                          1 	(obj:264000)
B[3,1,384]                                          1 	(obj:264000)
B[3,1,387]                                          1 	(obj:264000)
B[3,1,389]                                          1 	(obj:264000)
B[3,1,390]                                          1 	(obj:264000)
B[3,1,391]                                          1 	(obj:264000)
B[3,1,393]                                          1 	(obj:264000)
B[3,1,430]                                          1 	(obj:264000)
B[3,1,431]                                          1 	(obj:264000)
B[3,1,433]                                          1 	(obj:264000)
B[3,1,436]                                          1 	(obj:264000)
B[3,1,437]                                          1 	(obj:264000)
B[3,1,439]                                          1 	(obj:264000)
B[3,1,442]                                          1 	(obj:264000)
B[3,1,443]                                          1 	(obj:264000)
B[3,1,445]                                          1 	(obj:264000)
B[3,1,448]                                          1 	(obj:220000)
B[3,1,453]                                          1 	(obj:220000)
B[3,1,458]                                          1 	(obj:220000)
B[3,1,463]                                          1 	(obj:220000)
B[3,1,468]                                          1 	(obj:220000)
B[3,1,473]                                          1 	(obj:220000)
B[3,1,478]                                          1 	(obj:220000)
B[3,1,483]                                          1 	(obj:220000)
B[3,1,488]                                          1 	(obj:220000)
B[3,1,493]                                          1 	(obj:264000)
B[3,1,494]                                          1 	(obj:264000)
B[3,1,496]                                          1 	(obj:264000)
B[3,1,497]                                          1 	(obj:264000)
B[3,1,498]                                          1 	(obj:264000)
B[3,1,501]                                          1 	(obj:264000)
B[3,1,502]                                          1 	(obj:264000)
B[3,1,503]                                          1 	(obj:264000)
B[3,1,504]                                          1 	(obj:264000)
B[3,1,506]                                          1 	(obj:264000)
B[3,1,507]                                          1 	(obj:264000)
B[3,1,508]                                          1 	(obj:264000)
B[3,1,511]                                          1 	(obj:264000)
B[3,1,512]                                          1 	(obj:264000)
B[3,1,513]                                          1 	(obj:264000)
B[3,1,514]                                          1 	(obj:264000)
B[3,1,516]                                          1 	(obj:264000)
B[3,1,517]                                          1 	(obj:264000)
B[3,1,518]                                          1 	(obj:264000)
B[3,1,521]                                          1 	(obj:264000)
B[3,1,525]                                          1 	(obj:220000)
B[3,1,529]                                          1 	(obj:220000)
B[3,1,533]                                          1 	(obj:220000)
B[3,1,537]                                          1 	(obj:220000)
B[3,1,541]                                          1 	(obj:220000)
B[3,1,545]                                          1 	(obj:220000)
B[3,1,549]                                          1 	(obj:220000)
B[3,1,553]                                          1 	(obj:220000)
B[3,1,557]                                          1 	(obj:220000)
B[3,1,560]                                          1 	(obj:264000)
B[3,1,562]                                          1 	(obj:264000)
B[3,1,563]                                          1 	(obj:264000)
B[3,1,564]                                          1 	(obj:264000)
B[3,1,566]                                          1 	(obj:264000)
B[3,1,569]                                          1 	(obj:264000)
B[3,1,571]                                          1 	(obj:264000)
B[3,1,572]                                          1 	(obj:264000)
B[3,1,573]                                          1 	(obj:264000)
B[3,1,575]                                          1 	(obj:264000)
B[3,1,578]                                          1 	(obj:264000)
B[3,1,580]                                          1 	(obj:264000)
B[3,1,581]                                          1 	(obj:264000)
B[3,1,582]                                          1 	(obj:264000)
B[3,1,584]                                          1 	(obj:264000)
B[3,1,588]                                          1 	(obj:220000)
B[3,1,592]                                          1 	(obj:220000)
B[3,1,596]                                          1 	(obj:220000)
B[3,1,600]                                          1 	(obj:220000)
B[3,1,604]                                          1 	(obj:220000)
B[3,1,608]                                          1 	(obj:220000)
B[3,1,612]                                          1 	(obj:220000)
B[3,1,616]                                          1 	(obj:220000)
B[3,1,620]                                          1 	(obj:220000)
B[3,1,623]                                          1 	(obj:264000)
B[3,1,625]                                          1 	(obj:264000)
B[3,1,626]                                          1 	(obj:264000)
B[3,1,627]                                          1 	(obj:264000)
B[3,1,629]                                          1 	(obj:264000)
B[3,1,632]                                          1 	(obj:264000)
B[3,1,634]                                          1 	(obj:264000)
B[3,1,635]                                          1 	(obj:264000)
B[3,1,636]                                          1 	(obj:264000)
B[3,1,638]                                          1 	(obj:264000)
B[3,1,641]                                          1 	(obj:264000)
B[3,1,643]                                          1 	(obj:264000)
B[3,1,644]                                          1 	(obj:264000)
B[3,1,645]                                          1 	(obj:264000)
B[3,1,647]                                          1 	(obj:264000)
B[3,1,676]                                          1 	(obj:264000)
B[3,1,679]                                          1 	(obj:264000)
B[3,1,682]                                          1 	(obj:264000)
B[3,1,685]                                          1 	(obj:264000)
B[3,1,688]                                          1 	(obj:264000)
B[3,1,691]                                          1 	(obj:264000)
B[3,1,693]                                          1 	(obj:220000)
B[3,1,698]                                          1 	(obj:220000)
B[3,1,703]                                          1 	(obj:220000)
B[3,1,708]                                          1 	(obj:220000)
B[3,1,713]                                          1 	(obj:220000)
B[3,1,718]                                          1 	(obj:220000)
B[3,1,723]                                          1 	(obj:220000)
B[3,1,728]                                          1 	(obj:220000)
B[3,1,733]                                          1 	(obj:220000)
B[3,1,738]                                          1 	(obj:264000)
B[3,1,739]                                          1 	(obj:264000)
B[3,1,741]                                          1 	(obj:264000)
B[3,1,742]                                          1 	(obj:264000)
B[3,1,743]                                          1 	(obj:264000)
B[3,1,746]                                          1 	(obj:264000)
B[3,1,747]                                          1 	(obj:264000)
B[3,1,748]                                          1 	(obj:264000)
B[3,1,749]                                          1 	(obj:264000)
B[3,1,751]                                          1 	(obj:264000)
B[3,1,752]                                          1 	(obj:264000)
B[3,1,753]                                          1 	(obj:264000)
B[3,1,756]                                          1 	(obj:264000)
B[3,1,757]                                          1 	(obj:264000)
B[3,1,758]                                          1 	(obj:264000)
B[3,1,759]                                          1 	(obj:264000)
B[3,1,761]                                          1 	(obj:264000)
B[3,1,762]                                          1 	(obj:264000)
B[3,1,763]                                          1 	(obj:264000)
B[3,1,766]                                          1 	(obj:264000)
B[3,1,767]                                          1 	(obj:264000)
B[3,1,801]                                          1 	(obj:948000)
B[3,1,802]                                          1 	(obj:948000)
B[3,1,808]                                          1 	(obj:790000)
B[3,1,809]                                          1 	(obj:790000)
B[3,1,810]                                          1 	(obj:790000)
B[3,1,811]                                          1 	(obj:790000)
B[3,1,812]                                          1 	(obj:790000)
B[3,1,813]                                          1 	(obj:790000)
B[3,1,814]                                          1 	(obj:790000)
B[3,1,815]                                          1 	(obj:790000)
B[3,1,816]                                          1 	(obj:790000)
B[3,1,817]                                          1 	(obj:790000)
B[3,1,818]                                          1 	(obj:790000)
B[3,1,819]                                          1 	(obj:790000)
B[3,1,823]                                          1 	(obj:948000)
B[3,1,828]                                          1 	(obj:790000)
B[3,1,829]                                          1 	(obj:790000)
B[3,1,830]                                          1 	(obj:790000)
B[3,1,831]                                          1 	(obj:790000)
B[3,1,832]                                          1 	(obj:790000)
B[3,1,833]                                          1 	(obj:790000)
B[3,1,834]                                          1 	(obj:790000)
B[3,1,835]                                          1 	(obj:790000)
B[3,1,836]                                          1 	(obj:790000)
B[3,1,837]                                          1 	(obj:790000)
B[3,1,838]                                          1 	(obj:790000)
B[3,1,839]                                          1 	(obj:790000)
B[3,1,843]                                          1 	(obj:948000)
B[3,1,850]                                          1 	(obj:790000)
B[3,1,851]                                          1 	(obj:790000)
B[3,1,854]                                          1 	(obj:790000)
B[3,1,855]                                          1 	(obj:790000)
B[3,1,858]                                          1 	(obj:790000)
B[3,1,859]                                          1 	(obj:790000)
B[3,1,862]                                          1 	(obj:790000)
B[3,1,863]                                          1 	(obj:790000)
B[3,1,866]                                          1 	(obj:790000)
B[3,1,867]                                          1 	(obj:790000)
B[3,1,870]                                          1 	(obj:790000)
B[3,1,871]                                          1 	(obj:790000)
B[3,1,898]                                          1 	(obj:790000)
B[3,1,903]                                          1 	(obj:790000)
B[3,1,908]                                          1 	(obj:790000)
B[3,1,913]                                          1 	(obj:790000)
B[3,1,918]                                          1 	(obj:790000)
B[3,1,923]                                          1 	(obj:790000)
B[3,1,932]                                          1 	(obj:948000)
B[3,1,933]                                          1 	(obj:948000)
B[3,1,944]                                          1 	(obj:790000)
B[3,1,945]                                          1 	(obj:790000)
B[3,1,946]                                          1 	(obj:790000)
B[3,1,947]                                          1 	(obj:790000)
B[3,1,948]                                          1 	(obj:790000)
B[3,1,949]                                          1 	(obj:790000)
B[3,1,950]                                          1 	(obj:790000)
B[3,1,951]                                          1 	(obj:790000)
B[3,1,952]                                          1 	(obj:790000)
B[3,1,953]                                          1 	(obj:790000)
B[3,1,954]                                          1 	(obj:790000)
B[3,1,955]                                          1 	(obj:790000)
B[3,1,957]                                          1 	(obj:948000)
B[3,1,958]                                          1 	(obj:948000)
B[3,1,959]                                          1 	(obj:948000)
B[3,1,1068]                                         1 	(obj:790000)
B[3,1,1069]                                         1 	(obj:790000)
B[3,1,1070]                                         1 	(obj:790000)
B[3,1,1075]                                         1 	(obj:790000)
B[3,1,1076]                                         1 	(obj:790000)
B[3,1,1077]                                         1 	(obj:790000)
B[3,1,1082]                                         1 	(obj:790000)
B[3,1,1083]                                         1 	(obj:790000)
B[3,1,1084]                                         1 	(obj:790000)
B[3,1,1089]                                         1 	(obj:790000)
B[3,1,1090]                                         1 	(obj:790000)
B[3,1,1091]                                         1 	(obj:790000)
B[3,1,1096]                                         1 	(obj:790000)
B[3,1,1097]                                         1 	(obj:790000)
B[3,1,1098]                                         1 	(obj:790000)
B[3,1,1103]                                         1 	(obj:790000)
B[3,1,1104]                                         1 	(obj:790000)
B[3,1,1105]                                         1 	(obj:790000)
B[3,1,1119]                                         1 	(obj:948000)
B[3,1,1120]                                         1 	(obj:948000)
B[3,1,1121]                                         1 	(obj:948000)
B[3,1,1141]                                         1 	(obj:790000)
B[3,1,1142]                                         1 	(obj:790000)
B[3,1,1143]                                         1 	(obj:790000)
B[3,1,1147]                                         1 	(obj:790000)
B[3,1,1148]                                         1 	(obj:790000)
B[3,1,1149]                                         1 	(obj:790000)
B[3,1,1153]                                         1 	(obj:790000)
B[3,1,1154]                                         1 	(obj:790000)
B[3,1,1155]                                         1 	(obj:790000)
B[3,1,1159]                                         1 	(obj:790000)
B[3,1,1160]                                         1 	(obj:790000)
B[3,1,1161]                                         1 	(obj:790000)
B[3,1,1165]                                         1 	(obj:790000)
B[3,1,1166]                                         1 	(obj:790000)
B[3,1,1167]                                         1 	(obj:790000)
B[3,1,1171]                                         1 	(obj:790000)
B[3,1,1172]                                         1 	(obj:790000)
B[3,1,1173]                                         1 	(obj:790000)
B[3,1,1185]                                         1 	(obj:948000)
B[3,1,1186]                                         1 	(obj:948000)
B[3,1,1187]                                         1 	(obj:948000)
B[3,1,1206]                                         1 	(obj:790000)
B[3,1,1207]                                         1 	(obj:790000)
B[3,1,1208]                                         1 	(obj:790000)
B[3,1,1213]                                         1 	(obj:790000)
B[3,1,1214]                                         1 	(obj:790000)
B[3,1,1215]                                         1 	(obj:790000)
B[3,1,1220]                                         1 	(obj:790000)
B[3,1,1221]                                         1 	(obj:790000)
B[3,1,1222]                                         1 	(obj:790000)
B[3,1,1227]                                         1 	(obj:790000)
B[3,1,1228]                                         1 	(obj:790000)
B[3,1,1229]                                         1 	(obj:790000)
B[3,1,1234]                                         1 	(obj:790000)
B[3,1,1235]                                         1 	(obj:790000)
B[3,1,1236]                                         1 	(obj:790000)
B[3,1,1241]                                         1 	(obj:790000)
B[3,1,1242]                                         1 	(obj:790000)
B[3,1,1243]                                         1 	(obj:790000)
B[3,1,1250]                                         1 	(obj:948000)
B[3,1,1251]                                         1 	(obj:948000)
B[3,1,1252]                                         1 	(obj:948000)
B[3,1,1253]                                         1 	(obj:948000)
B[3,1,1254]                                         1 	(obj:948000)
B[3,1,1255]                                         1 	(obj:948000)
B[3,1,1256]                                         1 	(obj:948000)
B[3,1,1263]                                         1 	(obj:948000)
B[3,1,1264]                                         1 	(obj:948000)
B[3,1,1267]                                         1 	(obj:948000)
B[3,1,1269]                                         1 	(obj:948000)
SCIP Status        : problem is solved [optimal solution found]
Total Time         :      36.02
  solving          :      35.43
  presolving       :       1.66 (included in solving)
  reading          :       0.59
Original Problem   :
  Problem name     : ampl
  Variables        : 91380 (91380 binary, 0 integer, 0 implicit integer, 0 continuous)
  Constraints      : 18786 initial, 18786 maximal
  Objective sense  : minimize
Presolved Problem  :
  Problem name     : t_ampl
  Variables        : 8437 (8437 binary, 0 integer, 0 implicit integer, 0 continuous)
  Constraints      : 9538 initial, 9538 maximal
Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
  trivial          :       0.03          0          0          0          0          0          0          0          0          0
  dualfix          :       0.07      48432          0          0          0          0          0          0          0          0
  boundshift       :       0.00          0          0          0          0          0          0          0          0          0
  inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
  implics          :       0.00          0          0          0          0          0          0          0          0          0
  pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
  probing          :       1.06          0          0          0          0          0          0          0          0          0
  setppc           :       0.09      34511          0          0          0          0          0          0          0          0
  linear           :       0.12          0          0          0          0          0       9248          0          0          0
  root node        :          -          5          -          -          5          -          -          -          -          -
Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
  integral         :          0          0          0          0          4          0          6          0          0          0          0          0          6
  setppc           :       9538       9538        144       4781          1          0          4          0          0       6303          0          0          0
  countsols        :          0          0          0          0          1          0          2          0          0          0          0          0          0
Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
  integral         :       1.71       0.00       0.00       1.71       0.00       0.00       0.00
  setppc           :       0.80       0.22       0.57       0.00       0.00       0.01       0.00
  countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
  redcost          :        149          0          0          4
  vbounds          :          0          0          0          0
  rootredcost      :          0          0          0          0
  pseudoobj        :       2713          0          0          0
  probing          :          0          0          0          0
Propagator Timings :  TotalTime   Presolve  Propagate    ResProp
  redcost          :       0.06       0.00       0.06       0.00
  vbounds          :       0.00       0.00       0.00       0.00
  rootredcost      :       0.00       0.00       0.00       0.00
  pseudoobj        :       0.00       0.00       0.00       0.00
  probing          :       1.06       1.06       0.00       0.00
Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
  propagation      :       0.00          0          0          0        0.0          0        0.0          -
  infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
  bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
  strong branching :       0.00          0          0          0        0.0          0        0.0          0
  pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
  applied globally :          -          -          -          0        0.0          -          -          -
  applied locally  :          -          -          -          0        0.0          -          -          -
Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
  cut pool         :       0.01        143          -          -         54          -    (maximal pool size: 974)
  closecuts        :       0.00          0          0          0          0          0
  impliedbounds    :       0.22        144          0          0          0          0
  intobj           :       0.00          0          0          0          0          0
  gomory           :       0.02         10          0          0        500          0
  cgmip            :       0.00          0          0          0          0          0
  strongcg         :       0.60         20          0          0      10000          0
  cmir             :       0.76         10          0          0          0          0
  flowcover        :       0.79         10          0          0          0          0
  clique           :      22.97        144          0          0        926          0
  zerohalf         :       0.00          0          0          0          0          0
  mcf              :       0.02          1          0          0          0          0
  oddcycle         :       0.00          0          0          0          0          0
  rapidlearning    :       0.00          0          0          0          0          0
Pricers            :       Time      Calls       Vars
  problem variables:       0.00          0          0
Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
  relpscost        :       1.71          3          0          0          0          0          6
  pscost           :       0.00          0          0          0          0          0          0
  inference        :       0.00          0          0          0          0          0          0
  mostinf          :       0.00          0          0          0          0          0          0
  leastinf         :       0.00          0          0          0          0          0          0
  fullstrong       :       0.00          0          0          0          0          0          0
  allfullstrong    :       0.00          0          0          0          0          0          0
  random           :       0.00          0          0          0          0          0          0
Primal Heuristics  :       Time      Calls      Found
  LP solutions     :       0.00          -          1
  pseudo solutions :       0.00          -          0
  crossover        :       0.00          0          0
  coefdiving       :       0.00          0          0
  pscostdiving     :       0.00          0          0
  oneopt           :       0.00          1          0
  trivial          :       0.10          2          0
  shiftandpropagate:       0.24          1          1
  simplerounding   :       0.00          0          0
  zirounding       :       0.00          0          0
  rounding         :       0.72        102          0
  shifting         :       0.90        100          0
  intshifting      :       0.00          0          0
  twoopt           :       0.00          0          0
  fixandinfer      :       0.00          0          0
  feaspump         :       0.35          1          0
  clique           :       0.00          0          0
  fracdiving       :       0.00          0          0
  veclendiving     :       0.00          0          0
  intdiving        :       0.00          0          0
  actconsdiving    :       0.00          0          0
  objpscostdiving  :       0.00          0          0
  rootsoldiving    :       0.00          0          0
  linesearchdiving :       0.00          0          0
  guideddiving     :       0.00          0          0
  octane           :       0.00          0          0
  rens             :       0.13          1          0
  rins             :       0.00          0          0
  localbranching   :       0.00          0          0
  mutation         :       0.00          0          0
  dins             :       0.00          0          0
  vbounds          :       0.00          0          0
  undercover       :       0.00          0          0
  subnlp           :       0.00          0          0
  trysol           :       0.00          0          0
LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
  primal LP        :       0.26         21          0       0.00       0.00       0.26         21
  dual LP          :       3.01        150      17743     119.08    5894.68       0.01          1
  lex dual LP      :       0.00          0          0       0.00          -
  barrier LP       :       0.00          0          0       0.00          -       0.00          0
  diving/probing LP:       0.29         12       1873     156.08    6458.62
  strong branching :       1.70         51       7684     150.67    4520.00
    (at root node) :          -         17       2482     146.00          -
  conflict analysis:       0.00          0          0       0.00          -
B&B Tree           :
  number of runs   :          1
  nodes            :          5
  nodes (total)    :          5
  nodes left       :          0
  max depth        :          3
  max depth (total):          3
  backtracks       :          1 (20.0%)
  delayed cutoffs  :          0
  repropagations   :          0 (0 domain reductions, 0 cutoffs)
  avg switch length:       2.40
  switching time   :       0.02
Solution           :
  Solutions found  :          2 (2 improvements)
  First Solution   : +5.58082392000000e+08   (in run 1, after 1 nodes, 2.02 seconds, depth 1271, found by <shiftandpropagate>)
  Primal Bound     : +5.47607332000000e+08   (in run 1, after 5 nodes, 35.43 seconds, depth 3, found by <relaxation>)
  Dual Bound       : +5.47607332000000e+08
  Gap              :       0.00 %
  Root Dual Bound  : +5.42309095250000e+08
  Root Iterations  :      16719